Re: Dialyzer's incorrect warning about opaque types
Hans Bolinder <[email protected]>
| Newsgroups | gmane.comp.lang.erlang.bugs |
|---|---|
| Message-ID | <[email protected]> |
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