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

[Shayan Pooya]

Thanks for the note Hans.
I'll tag the type.

However, the older versions of Erlang (before 17.0) did not complain about
this piece of code.

On Tue, Sep 16, 2014 at 3:35 AM, Hans Bolinder <hans.bolinder@REDACTED>
wrote:

>  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/f85feae4/attachment.htm>