diff options
| author | Hans Bolinder <[email protected]> | 2015-01-16 10:26:44 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-03-10 10:48:28 +0100 |
| commit | 854ee8bdef9d2dde4184927e4848973e242eb69d (patch) | |
| tree | 2d98f6c229fda9df0af83692888bf89a1681ce0d /lib/dialyzer/src/dialyzer_dataflow.erl | |
| parent | 4037296294670e7a9bb2a3c1cdbd0236cbc15807 (diff) | |
| download | otp-854ee8bdef9d2dde4184927e4848973e242eb69d.tar.gz otp-854ee8bdef9d2dde4184927e4848973e242eb69d.tar.bz2 otp-854ee8bdef9d2dde4184927e4848973e242eb69d.zip | |
[dialyzer] Fix the conversion of forms to types
In particular fix handling of records.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_dataflow.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index ea1b09fcdd..336b4641d4 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -2,7 +2,7 @@ %%-------------------------------------------------------------------- %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2006-2014. All Rights Reserved. +%% Copyright Ericsson AB 2006-2015. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in @@ -2977,8 +2977,10 @@ state__lookup_name(Fun, #state{callgraph = Callgraph}) -> state__lookup_record(Tag, Arity, #state{records = Records}) -> case erl_types:lookup_record(Tag, Arity, Records) of {ok, Fields} -> - {ok, t_tuple([t_atom(Tag)| - [FieldType || {_FieldName, FieldType} <- Fields]])}; + RecType = + t_tuple([t_atom(Tag)| + [FieldType || {_FieldName, _Abstr, FieldType} <- Fields]]), + {ok, RecType}; error -> error end. |