diff options
| author | Björn Gustavsson <[email protected]> | 2010-10-06 14:35:55 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-10-06 14:35:55 +0200 |
| commit | d8f8eeba477fd8872f1136fc507fa299f013cc46 (patch) | |
| tree | 08b8d3f54ccca7f22f3e6ff7a21c07359437447e /lib/dialyzer/src | |
| parent | e2b95336ac253db553f55413aa29520c9608ee72 (diff) | |
| parent | d158c0146c7b2b02ce3787da3ca1f0ebbc5f7b43 (diff) | |
| download | otp-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.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' |