<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style id="owaParaStyle" type="text/css">P {margin-top:0;margin-bottom:0;}</style>
</head>
<body ocsi="0" fpstyle="1">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">Hi,<br>
<br>
It's possible that Dialyzer will be able to handle "towers" of opaque<br>
types better in the future, but don't hold your breath. It's<br>
(probably) quite tricky to implement, and has currently no priority.<br>
<br>
For now I'll just repeat the piece of advice that Kostis usually puts<br>
forward when questions like this arise: tag your type. Like:<br>
<br>
-opaque state() :: {some_tag, queue:queue(erlang:timestamp())}.<br>
<br>
Best regards,<br>
<br>
Hans Bolinder, Erlang OTP/team, Ericsson<br>
<br>
</div>
</body>
</html>