
<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>

[James Fish:]<br>

> I am never one to doubt that dialyzer is correct, and I am wrong. In<br>

> this case I am perplexed by the warning generated with nested<br>

> parametrised types.<br>

<br>

Sorry for the long response time.<br>

<br>

Commit 050d93 fixes a Dialyzer bug, and it seems that your example now<br>

passes without warnings.<br>

<br>

Best regards,<br>

<br>

Hans Bolinder, Erlang/OTP team, Ericsson<br>

<br>

</div>

</body>

</html>