diff options
| author | Kostis Sagonas <[email protected]> | 2010-10-25 17:43:27 +0300 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-10-26 16:06:51 +0200 |
| commit | 31e4428711b46141adcd7c4e56c4d72a9a2b4be3 (patch) | |
| tree | 6947a7859423a73737442bdc813604991b3264c2 | |
| parent | d8f8eeba477fd8872f1136fc507fa299f013cc46 (diff) | |
| download | otp-31e4428711b46141adcd7c4e56c4d72a9a2b4be3.tar.gz otp-31e4428711b46141adcd7c4e56c4d72a9a2b4be3.tar.bz2 otp-31e4428711b46141adcd7c4e56c4d72a9a2b4be3.zip | |
compiler: Strengthen some specs to shut off dialyzer warnings
| -rw-r--r-- | lib/compiler/src/cerl.erl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/compiler/src/cerl.erl b/lib/compiler/src/cerl.erl index d1fd9d40e2..4b74d60e9f 100644 --- a/lib/compiler/src/cerl.erl +++ b/lib/compiler/src/cerl.erl @@ -973,7 +973,7 @@ atom_name(Node) -> %% TODO: replace the use of the unofficial 'write_string/2'. --spec atom_lit(cerl()) -> string(). +-spec atom_lit(cerl()) -> nonempty_string(). atom_lit(Node) -> io_lib:write_string(atom_name(Node), $'). %' stupid Emacs. @@ -1079,7 +1079,7 @@ char_val(Node) -> %% %% @see c_char/1 --spec char_lit(c_literal()) -> string(). +-spec char_lit(c_literal()) -> nonempty_string(). char_lit(Node) -> io_lib:write_char(char_val(Node)). @@ -1178,7 +1178,7 @@ string_val(Node) -> %% %% @see c_string/1 --spec string_lit(c_literal()) -> string(). +-spec string_lit(c_literal()) -> nonempty_string(). string_lit(Node) -> io_lib:write_string(string_val(Node)). |