diff options
| author | Hans Bolinder <[email protected]> | 2016-02-04 09:34:28 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-02-17 09:17:32 +0100 |
| commit | d114f1166cd25b6fb7aedaddc9087ecca38fb3b2 (patch) | |
| tree | b50f88f709a10ed5b755aa93f08f21ac7b88c8d6 /lib/kernel/src/user_drv.erl | |
| parent | d1972f66df96ec76bc6a3861d1ff8f4f4c302b5f (diff) | |
| download | otp-d114f1166cd25b6fb7aedaddc9087ecca38fb3b2.tar.gz otp-d114f1166cd25b6fb7aedaddc9087ecca38fb3b2.tar.bz2 otp-d114f1166cd25b6fb7aedaddc9087ecca38fb3b2.zip | |
kernel: Add suppression of Dialyzer warnings
Diffstat (limited to 'lib/kernel/src/user_drv.erl')
| -rw-r--r-- | lib/kernel/src/user_drv.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/kernel/src/user_drv.erl b/lib/kernel/src/user_drv.erl index ca3c53ff93..b794d4f45e 100644 --- a/lib/kernel/src/user_drv.erl +++ b/lib/kernel/src/user_drv.erl @@ -1,7 +1,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 1996-2013. All Rights Reserved. +%% Copyright Ericsson AB 1996-2016. All Rights Reserved. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. @@ -559,6 +559,7 @@ put_int16(N, Tail) -> %% is sent back to the process sending the request. This command was added in %% OTP 18 to make sure that data sent from io:format is actually printed %% to the console before the vm stops when calling erlang:halt(integer()). +-dialyzer({no_improper_lists, io_command/1}). io_command({put_chars_sync, unicode,Cs,Reply}) -> {{command,[?OP_PUTC_SYNC|unicode:characters_to_binary(Cs,utf8)]},Reply}; io_command({put_chars, unicode,Cs}) -> |