diff options
| author | Björn Gustavsson <[email protected]> | 2010-10-29 11:24:37 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-10-29 11:24:37 +0200 |
| commit | 26bf9f5871c114c10f0dc1d67b53887ef6b322d1 (patch) | |
| tree | d1a22dc23caddf2c24b9ac96ce42e2ec07fa82ca /lib/compiler/src/cerl.erl | |
| parent | 86ce28fb720c1d9205748c8b640906c88a75eac7 (diff) | |
| parent | 54c54dc6f373ed9610d9a71c78e35babd2dc6508 (diff) | |
| download | otp-26bf9f5871c114c10f0dc1d67b53887ef6b322d1.tar.gz otp-26bf9f5871c114c10f0dc1d67b53887ef6b322d1.tar.bz2 otp-26bf9f5871c114c10f0dc1d67b53887ef6b322d1.zip | |
Merge branch 'ks/strengthen-specs' into dev
* ks/strengthen-specs:
lists: Strengthen and modernize specs
syntax_tools: Fix an erroneous type and strengthen some specs
ordsets: Export ordset/1 type and strengthen specs
compiler: Strengthen some specs to shut off dialyzer warnings
Diffstat (limited to 'lib/compiler/src/cerl.erl')
| -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)). |