[erlang-bugs] Dialyzer's incorrect warning about opaque types

[Hans Bolinder]

Hi,

It's possible that Dialyzer will be able to handle "towers" of opaque
types better in the future, but don't hold your breath. It's
(probably) quite tricky to implement, and has currently no priority.

For now I'll just repeat the piece of advice that Kostis usually puts
forward when questions like this arise: tag your type. Like:

-opaque state() :: {some_tag, queue:queue(erlang:timestamp())}.

Best regards,

Hans Bolinder, Erlang OTP/team, Ericsson

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20140916/2eff6726/attachment.htm>