I've been using Dialyzer (and Dialyxir) on a big Elixir code base, and when I run it, it spits out a bunch of diagnostic information. It references .plt files a lot. What does "PLT" stand for in the context of Erlang and Dialyzer?
Asked
Active
Viewed 61 times
2
Ashton Wiersdorf
- 1,485
- 12
- 26
1 Answers
4
In Dialyzer's context, PLT stands for Persistent Lookup Table (link to docs). It is the data structure that contains inferred and user-annotated (i.e. 'spec-ed') type signatures that Dialyzer is expected to treat as known and correct when analyzing new files.
aronisstav
- 7,148
- 4
- 21
- 45