aboutsummaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorKostis Sagonas <kostis@cs.ntua.gr>2010-10-25 17:43:27 +0300
committerBjörn Gustavsson <bjorn@erlang.org>2010-10-26 16:06:51 +0200
commit31e4428711b46141adcd7c4e56c4d72a9a2b4be3 (patch)
tree6947a7859423a73737442bdc813604991b3264c2 /lib
parentd8f8eeba477fd8872f1136fc507fa299f013cc46 (diff)
downloadotp-31e4428711b46141adcd7c4e56c4d72a9a2b4be3.tar.gz
otp-31e4428711b46141adcd7c4e56c4d72a9a2b4be3.tar.bz2
otp-31e4428711b46141adcd7c4e56c4d72a9a2b4be3.zip
compiler: Strengthen some specs to shut off dialyzer warnings
Diffstat (limited to 'lib')
-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)).