[erlang-questions] Is it possible to have nested parametrised types when the base type is opaque?
Thu Aug 20 13:39:47 CEST 2015
> I am never one to doubt that dialyzer is correct, and I am wrong. In
> this case I am perplexed by the warning generated with nested
> parametrised types.
Sorry for the long response time.
Commit 050d93 fixes a Dialyzer bug, and it seems that your example now
passes without warnings.
Hans Bolinder, Erlang/OTP team, Ericsson
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions