aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2010-10-29 11:24:37 +0200
committerBjörn Gustavsson <[email protected]>2010-10-29 11:24:37 +0200
commit26bf9f5871c114c10f0dc1d67b53887ef6b322d1 (patch)
treed1a22dc23caddf2c24b9ac96ce42e2ec07fa82ca /lib/compiler/src
parent86ce28fb720c1d9205748c8b640906c88a75eac7 (diff)
parent54c54dc6f373ed9610d9a71c78e35babd2dc6508 (diff)
downloadotp-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')
-rw-r--r--lib/compiler/src/cerl.erl6
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)).