diff options
| author | Björn Gustavsson <[email protected]> | 2010-09-30 14:36:16 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-09-30 14:36:16 +0200 |
| commit | 800a07c5a386a79465ad33e5015ba20bad2ccc62 (patch) | |
| tree | 354610f12c0f4d2964e2300e97d6d21ed9cd5390 /lib/dialyzer/src/dialyzer_utils.erl | |
| parent | 652bc29c4b9213fcca8b0cb1d07eb24f2d2d9774 (diff) | |
| parent | 3fbe522acb52ae4123e0068d352b8aa4ab767ece (diff) | |
| download | otp-800a07c5a386a79465ad33e5015ba20bad2ccc62.tar.gz otp-800a07c5a386a79465ad33e5015ba20bad2ccc62.tar.bz2 otp-800a07c5a386a79465ad33e5015ba20bad2ccc62.zip | |
Merge branch 'ks/dialyzer-fixes' into dev
* ks/dialyzer-fixes:
Fix two errors in dialyzer
Diffstat (limited to 'lib/dialyzer/src/dialyzer_utils.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_utils.erl | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/lib/dialyzer/src/dialyzer_utils.erl b/lib/dialyzer/src/dialyzer_utils.erl index a9da229061..248fdf6835 100644 --- a/lib/dialyzer/src/dialyzer_utils.erl +++ b/lib/dialyzer/src/dialyzer_utils.erl @@ -66,7 +66,7 @@ print_types1([{opaque, _Name} = Key|T], RecDict) -> io:format("\n~w: ~w\n", [Key, erl_types:t_from_form(Form, RecDict)]), print_types1(T, RecDict); print_types1([{record, _Name} = Key|T], RecDict) -> - {ok, [{Arity, Fields} = AF]} = dict:find(Key, RecDict), + {ok, [{_Arity, _Fields} = AF]} = dict:find(Key, RecDict), io:format("~w: ~w\n\n", [Key, AF]), print_types1(T, RecDict). -define(debug(D_), print_types(D_)). @@ -211,9 +211,9 @@ get_record_and_type_info([_Other|Left], Module, Records, RecDict) -> get_record_and_type_info([], _Module, Records, RecDict) -> case type_record_fields(lists:reverse(Records), RecDict) of {ok, _NewRecDict} = Ok -> - ?debug(NewRecDict), + ?debug(_NewRecDict), Ok; - {Name, {error, Error}} -> + {error, Name, Error} -> {error, lists:flatten(io_lib:format(" Error while parsing #~w{}: ~s\n", [Name, Error]))} end. @@ -269,9 +269,9 @@ type_record_fields([RecKey|Recs], RecDict) -> RecDict2 = dict:update(RecKey, Fun, RecDict1), type_record_fields(Recs, RecDict2) catch - throw:{error, _} = Error -> + throw:{error, Error} -> {record, Name} = RecKey, - {Name, Error} + {error, Name, Error} end. -spec process_record_remote_types(dialyzer_codeserver:codeserver()) -> dialyzer_codeserver:codeserver(). @@ -378,7 +378,7 @@ sets_filter([Mod|Mods], ExpTypes) -> -spec src_compiler_opts() -> [compile:option(),...]. src_compiler_opts() -> - [no_copt, to_core, binary, return_errors, + [no_copt, to_core, binary, return_errors, no_inline, strict_record_tests, strict_record_updates, no_is_record_optimization]. |