diff options
| author | James Fish <james@fishcakez.com> | 2014-11-19 18:14:51 +0000 |
|---|---|---|
| committer | James Fish <james@fishcakez.com> | 2014-11-20 16:05:03 +0000 |
| commit | 62e7cc27da361f6c6f63bef1e6588235e1e19609 (patch) | |
| tree | 1db9f518b704ba5461d6514d398045909177c207 /include | |
| parent | 03b07c3d396d577c3a6d635c339900ed4d8c391c (diff) | |
Refactor dialyzer PLT use
* Only include `plt_apps` (defaults to deps) in a single PLT
* Update PLT when `plt_apps` (or deps) are changed or updated
* Print warnings for all dialyzer runs (not just `succ_typings`)
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions