<div dir="ltr">+1.</div><div class="gmail_extra"><br><br><div class="gmail_quote">2014/1/16 Sean Cribbs <span dir="ltr"><<a href="mailto:sean@basho.com" target="_blank">sean@basho.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div>Hi Erlangers,</div><div><br></div>Ages ago, OTP shipped with a pre-built PLT for dialyzer, which was removed reasons forgotten by most of us (probably the time/cost of building it). Nowadays, because dialyzer is much improved (parallelism!) and our computers are faster and have more cores, a PLT for all of the standard library might only take a few minutes to build. <div>

<br></div><div>We've been increasing our usage of dialyzer at Basho and I have felt that it seems extremely wasteful and unnecessary to build a partial PLT of the standard library for every single project, when that information only changes across OTP releases. I feel the Erlang/OTP build process should include building a PLT that encompasses the entire standard library. Aside from the reduced cost of building PLTs for every different app, this may encourage others to start using dialyzer on their projects.</div>

<div><br></div><div>I'm offering to do the work to make this happen, but I need a little guidance on where to start. I've looked at the dialyzer Makefile from an older release where the PLT was included, but I'm concerned the project structure has changed enough that the rules there no longer apply. It seems the dialyzer runtime itself might also need to be tweaked to automatically include the prebuilt PLT.</div>

<div><br></div><div>Looking forward to hearing your thoughts and direction. Cheers!<span class="HOEnZb"><font color="#888888"><br clear="all"><div><br></div>-- <br>Sean Cribbs <<a href="mailto:sean@basho.com" target="_blank">sean@basho.com</a>><div>
Software Engineer</div>
<div>Basho Technologies, Inc.</div><div><a href="http://basho.com/" target="_blank">http://basho.com/</a></div>
</font></span></div></div>
<br>_______________________________________________<br>
erlang-patches mailing list<br>
<a href="mailto:erlang-patches@erlang.org">erlang-patches@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-patches" target="_blank">http://erlang.org/mailman/listinfo/erlang-patches</a><br>
<br></blockquote></div><br></div>