[PATCH] Dialyzer: Fix dialyzer_plt:included_files/1 spec
Tuncer Ayaz
tuncer.ayaz@REDACTED
Thu Sep 30 13:22:22 CEST 2010
dialyzer_plt:included_files/1 calls get_record_from_file/1 and may
therefore also return {error, not_valid}.
---
lib/dialyzer/src/dialyzer_plt.erl | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/lib/dialyzer/src/dialyzer_plt.erl b/lib/dialyzer/src/dialyzer_plt.erl
index 0f5be3b..afc315f 100644
--- a/lib/dialyzer/src/dialyzer_plt.erl
+++ b/lib/dialyzer/src/dialyzer_plt.erl
@@ -244,7 +244,7 @@ from_file(FileName, ReturnInfo) ->
[FileName, Reason]))
end.
--type inc_file_err_rsn() :: 'no_such_file' | 'read_error'.
+-type inc_file_err_rsn() :: 'not_valid' | 'no_such_file' | 'read_error'.
-spec included_files(file:filename()) -> {'ok', [file:filename()]}
| {'error', inc_file_err_rsn()}.
More information about the erlang-patches
mailing list