Re: Dialyzer's incorrect warning about opaque types

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 <[email protected]>
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
>
>

_______________________________________________
erlang-bugs mailing list
[email protected]
http://erlang.org/mailman/listinfo/erlang-bugs