[erlang-bugs] Diaylzer in R14A with opaque types

Kostis Sagonas <>
Mon Jul 12 23:56:34 CEST 2010


Thorsten Schuett wrote:
> Hi,
> 
> when I run dialyzer of R14A on the attached code, it complains about the 
> new_neighborhood/1 function:
> nodelist.erl:12: Invalid type specification for function 
> nodelist:new_neighborhood/1. The success typing is (_) -> {[any(),...]}
> 
> However, when I change the type nodelist() from opaque to non-opaque (see 
> comment), dialyzer accepts the code. The types seem to be correct. The problem 
> seems to be with nested opaque types.

Indeed.  Thanks for reporting this!

The problem has been fixed (thanks to Maria Christakis) and the fix will 
appear in R14B and on github soon.

Kostis



More information about the erlang-bugs mailing list