[erlang-patches] Proposal: reinstate pre-built PLT for Dialyzer

Andreas Stenius <>
Fri Jan 17 22:16:22 CET 2014


+1.


2014/1/16 Sean Cribbs <>

> Hi Erlangers,
>
> 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.
>
> 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.
>
> 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.
>
> Looking forward to hearing your thoughts and direction. Cheers!
>
> --
> Sean Cribbs <>
> Software Engineer
> Basho Technologies, Inc.
> http://basho.com/
>
> _______________________________________________
> erlang-patches mailing list
> 
> http://erlang.org/mailman/listinfo/erlang-patches
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-patches/attachments/20140117/190c9a4f/attachment.html>


More information about the erlang-patches mailing list