aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2010-10-01 16:52:09 +0300
committerBjörn Gustavsson <[email protected]>2010-10-04 14:48:01 +0200
commitd158c0146c7b2b02ce3787da3ca1f0ebbc5f7b43 (patch)
treec3ce80028508884892c966b60aaddd35a93f9c02 /lib/dialyzer
parentdd51118499209bbd91c0092d9778897026bde4c6 (diff)
downloadotp-d158c0146c7b2b02ce3787da3ca1f0ebbc5f7b43.tar.gz
otp-d158c0146c7b2b02ce3787da3ca1f0ebbc5f7b43.tar.bz2
otp-d158c0146c7b2b02ce3787da3ca1f0ebbc5f7b43.zip
Dialyzer: Fix erroneous type and use the same definition in two places
Diffstat (limited to 'lib/dialyzer')
-rw-r--r--lib/dialyzer/src/dialyzer_plt.erl8
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/dialyzer/src/dialyzer_plt.erl b/lib/dialyzer/src/dialyzer_plt.erl
index 0f5be3b7f2..08d0b318b5 100644
--- a/lib/dialyzer/src/dialyzer_plt.erl
+++ b/lib/dialyzer/src/dialyzer_plt.erl
@@ -244,9 +244,10 @@ from_file(FileName, ReturnInfo) ->
[FileName, Reason]))
end.
--type inc_file_err_rsn() :: 'no_such_file' | 'read_error'.
+-type err_rsn() :: 'not_valid' | 'no_such_file' | 'read_error'.
+
-spec included_files(file:filename()) -> {'ok', [file:filename()]}
- | {'error', inc_file_err_rsn()}.
+ | {'error', err_rsn()}.
included_files(FileName) ->
case get_record_from_file(FileName) of
@@ -320,8 +321,7 @@ to_file(FileName,
end.
-type md5_diff() :: [{'differ', atom()} | {'removed', atom()}].
--type check_error() :: 'not_valid' | 'no_such_file' | 'read_error'
- | {'no_file_to_remove', file:filename()}.
+-type check_error() :: err_rsn() | {'no_file_to_remove', file:filename()}.
-spec check_plt(file:filename(), [file:filename()], [file:filename()]) ->
'ok'