aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
diff options
context:
space:
mode:
authorBjörn Gustavsson <bjorn@erlang.org>2010-10-06 14:35:55 +0200
committerBjörn Gustavsson <bjorn@erlang.org>2010-10-06 14:35:55 +0200
commitd8f8eeba477fd8872f1136fc507fa299f013cc46 (patch)
tree08b8d3f54ccca7f22f3e6ff7a21c07359437447e /lib/dialyzer/src
parente2b95336ac253db553f55413aa29520c9608ee72 (diff)
parentd158c0146c7b2b02ce3787da3ca1f0ebbc5f7b43 (diff)
downloadotp-d8f8eeba477fd8872f1136fc507fa299f013cc46.tar.gz
otp-d8f8eeba477fd8872f1136fc507fa299f013cc46.tar.bz2
otp-d8f8eeba477fd8872f1136fc507fa299f013cc46.zip
Merge branch 'ks/fix-dialyzer_plt-spec' into dev
* ks/fix-dialyzer_plt-spec: Dialyzer: Fix erroneous type and use the same definition in two places
Diffstat (limited to 'lib/dialyzer/src')
-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'