[erlang-questions] Non terminating Dialyzer invocation in R16B03-1

[Kostis Sagonas]

On 12/04/2014 07:54 PM, Sam Tavakoli wrote:
> I'm having an interesting issue with Dialyzer in R16B03-1
>
> This will never terminate and there is 100% CPU load.
>
> If I swap out opaque to type, it terminates or if I remove the pattern
> matching on Rec in b/2 it works.
>
> Any ideas why this is?
>
> Further more, Dialyzer can handle this in 17.3.

The handling of opaque types has improved considerably in Dialyzer 
starting with 17.0.  Most probably you are running into a corner case 
which has been fixed and now it's properly handled.  I suggest you 
update to some 17 release.

Kostis