diff options
| author | Kostis Sagonas <[email protected]> | 2010-10-01 16:52:09 +0300 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-10-04 14:48:01 +0200 |
| commit | d158c0146c7b2b02ce3787da3ca1f0ebbc5f7b43 (patch) | |
| tree | c3ce80028508884892c966b60aaddd35a93f9c02 /lib/dialyzer | |
| parent | dd51118499209bbd91c0092d9778897026bde4c6 (diff) | |
| download | otp-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.erl | 8 |
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' |