[erlang-bugs] nocatch error in dialyzer, R14A

Kostis Sagonas kostis@REDACTED
Thu Sep 16 09:12:31 CEST 2010


Nico Kruber wrote:
> On Tuesday 31 August 2010 14:59:02 Nico Kruber wrote:
>> While I was trying to make a minimal example for another strange behaviour
>> of the dialyzer I found the following bug calling
>>
>> ....
>> dialyzer: Analysis failed with error: {{nocatch,{error,
>> [73,108,108,101,103,97|...]}},
>>  [{erl_types,record_from_form,5},
>>   {erl_types,t_from_form,3},
>>   {erl_types,'-t_opaque_from_records/1-anonymous-2-',3},
>>   {dict,map_bucket,2},
>>   {dict,map_bkt_list,2},
>>   {dict,map_bkt_list,2},
>>   {dict,map_seg_list,...},
>>   {dict,...}]}
>> Last messages in the log cache:
>>   Reading files and computing callgraph... done in 0.06 secs
>>   Removing edges... done in 0.01 secs
>>   Typesig analysis for SCC: [{rec2,module_info,1}]


This problem has now been fixed (thanks to Maria Christakis).  The fix 
appears here:

http://github.com/kostis/otp/commit/544b05dc65606fcbfb46c2df69026c28f4ab2117

and will hopefully be included in OTP at some point.

Kostis


More information about the erlang-bugs mailing list