We have confirmed this bug and I will update my recent dialyzer-fixes patch with a fix for it.<div><br></div><div>Thanks for the report!</div><div><br></div><div>Stavros<br><blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><p></p><p></p><p></p></blockquote></div>