September 2013
Intermediate to advanced
548 pages
12h 25m
English
The first time you run the dialyzer you need to build a cache of all the types in the standard libraries that you intend to use. This is a once-only operation. If you launch the dialyzer, it tells you what to do.
| | $ dialyzer |
| | Checking whether the PLT /Users/joe/.dialyzer_plt is up-to-date... |
| | dialyzer: Could not find the PLT: /Users/joe/.dialyzer_plt |
| | Use the options: |
| | --build_plt to build a new PLT; or |
| | --add_to_plt to add to an existing PLT |
| | |
| | For example, use a command like the following: |
| | dialyzer --build_plt --apps erts kernel stdlib mnesia |
| | ... |
PLT is short for persistent lookup table. The PLT should contain a cache of all the types in the standard system. Building the PLT takes a few minutes. The first command ...
Read now
Unlock full access