[erlang-bugs] Diaylzer in R14A with opaque types

[Kostis Sagonas]

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