[erlang-questions] Is it possible to have nested parametrised types when the base type is opaque?

[Hans Bolinder]

Hi,

[James Fish:]
> 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.

Best regards,

Hans Bolinder, Erlang/OTP team, Ericsson

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20150820/393f4b17/attachment.htm>