dialyzer: {{badmatch,none},[{erl_types,t_limit_k,2},...

[Nico Kruber]

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: 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/5a0b72f2/attachment.bin>