<div dir="ltr">I have pushed a commit that allows dialyzer to work on fun with names (letrecs) and Anthony has cherry picked it into his branch:<div><br></div><div><a href="https://github.com/nox/otp/compare/eep37">https://github.com/nox/otp/compare/eep37</a><br>

<div class="gmail_extra"><br></div><div class="gmail_extra">I believe this is ready for another try. :)<br clear="all"><div><div><br></div><div><span style="font-size:13px"><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"><b>José Valim</b></span></div>

<div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"><div><span style="font-family:verdana,sans-serif;font-size:x-small"><a href="http://www.plataformatec.com.br/" style="color:rgb(42,93,176)" target="_blank">www.plataformatec.com.br</a></span></div>

<div><span style="font-family:verdana,sans-serif;font-size:x-small">Skype: jv.ptec</span></div><div><span style="font-family:verdana,sans-serif;font-size:x-small">Founder and Lead Developer</span></div></span></div></span></div>

</div>
<br><br><div class="gmail_quote">On Mon, Oct 28, 2013 at 12:26 AM, Anthony Ramine <span dir="ltr"><<a href="mailto:n.oxyde@gmail.com" target="_blank">n.oxyde@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

With DEBUG and DEBUG_PP defined in dialyzer_dataflow:<br></blockquote></div></div></div></div>