[PATCH] Dialyzer: Fix dialyzer_plt:included_files/1 spec

Tuncer Ayaz <>
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