[erlang-bugs] dialyzer: {{badmatch,none},[{erl_types,t_limit_k,2},...

Nico Kruber <>
Thu Feb 3 12:14:50 CET 2011


attached is a (compressed) version of my plt's contents

On Thursday 03 February 2011 12:08:14 Nico Kruber wrote:
> sorry, I forgot to mention how to reproduce it.I suppose, I cannot create a minimal case since this is some limit (?), but you can test it using our code base:
> svn checkout http://scalaris.googlecode.com/svn/trunk/ scalaris
> cd scalaris
> ./configure
> dialyzer -Dtid_not_builtin    -Dwith_export_type_support -Werror_handling -Wrace_conditions -Wunmatched_returns -I include/ -I contrib/yaws/include/ -I contrib/log4erl/include/ --src -c src src/*/ test/unittest_helper.erl test/tester*.erl test/mockup*.erl
> 
> (this is for R14B01)
> 
> without the test/mockup*.erl modules, dialyzer runs fine...
> 
> 
> On Thursday 03 February 2011 11:36:42 Nico Kruber wrote:
> > I ran into the following error with the dialyzer, today - maybe you can give me a hint on what is wrong or maybe it is even a bug in the dialyzer(?)
> > ----------
> >   Checking whether the PLT /home/nico/.dialyzer_plt is up-to-date... yes
> >   Proceeding with analysis...
> > =ERROR REPORT==== 3-Feb-2011::11:19:57 ===
> > Error in process <0.29.0> with exit value: {{badmatch,none},[{erl_types,t_limit_k,2},{erl_types,'-t_limit_k/2-lc$^0/1-2-',2},{erl_types,'-t_limit_k/2-lc$^0/1-2-',2},{erl_types,t_limit_k,2},{dialyzer_typesig,enter_type,3},{dialyzer_typesig,enter_type_list,2},{dialyzer_typesig... 
> > 
> > 
> > dialyzer: Analysis failed with error: {{badmatch,none},
> >  [{erl_types,t_limit_k,2},
> >   {erl_types,'-t_limit_k/2-lc$^0/1-2-',2},
> >   {erl_types,'-t_limit_k/2-lc$^0/1-2-',2},
> >   {erl_types,t_limit_k,2},
> >   {dialyzer_typesig,enter_type,3},
> >   {dialyzer_typesig,enter_type_list,2},
> >   {dialyzer_typesig,solve_subtype,...},
> >   {dialyzer_typesig,...}]}
> > Last messages in the log cache:
> >   Typesig analysis for SCC: [{group_tob,module_info,0}]
> >   Typesig analysis for SCC: [{group_tob,module_info,1}]
> >   Typesig analysis for SCC: [{group_tob,is_current_decision,2}]
> >   Typesig analysis for SCC: [{group_tob,is_past_decision,2}]
> >   Typesig analysis for SCC: [{group_tob,is_decision_from_other_group_id,2}]
> >   Typesig analysis for SCC: [{mockup_dht_node,module_state_to_my_state,2}]
> >   Typesig analysis for SCC: [{mockup_dht_node,module_info,1}]
> >   Typesig analysis for SCC: [{mockup_dht_node,start_link,2}]
> >   Typesig analysis for SCC: [{mockup_dht_node,module_info,0}]
> >   Typesig analysis for SCC: [{mockup_dht_node,on,2}]
> > ----------
> > 
> > Regards,
> > Nico Kruber
-------------- next part --------------
A non-text attachment was scrubbed...
Name: plt.info.gz
Type: application/x-gzip
Size: 6485 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20110203/7bd7f04e/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20110203/7bd7f04e/attachment-0001.bin>


More information about the erlang-bugs mailing list