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

[Nico Kruber]

On Friday 04 February 2011 02:21:18 anthony.shipman@REDACTED wrote:
> On Thursday 03 February 2011 21:36, 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},{di
> >al
> >yzer_typesig,enter_type,3},{dialyzer_typesig,enter_type_list,2},{dialyzer
> >_ty pesig...
> >
> > dialyzer: Analysis failed with error: {{badmatch,none},
> >  [{erl_types,t_limit_k,2},
> >   {erl_types,'-t_limit_k/2-lc$^0/1-2-',2},
> 
> When I get an error like this it is usually due to a .beam file whose name
> does not match the module name.

Kostis ran a detailed analysis and there was a type which expanded to [none()] 
- I wanted to reserve the type the list contains for future use but had no use 
atm. I set this type to none() so that the only valid list is the empty list 
[].
-> changing this to [] instead allowed dialyzer to run without this error
He'll fix dialyzer so that it shouldn't crash in this case anymore.

Nico
-------------- 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/20110204/4db920ad/attachment.bin>