Age | Commit message (Collapse) | Author |
|
A smallish selection of already existing tests, run with
the indentation option.
|
|
The implementation of OTP-14218 (commit 6d3b38a) has a weakness: only
a very limited part of the type form is checked. This is now fixed:
types not used by specs are checked equally well as types used by
specs.
The new function erl_types:t_from_form_check_remote() checks usage of
remote types. It does not expand used local types, and has (almost) no
limits on depth and size.
|
|
|
|
Since commit 12b3790 Dialyzer has not reported unknown types.
|
|
|
|
|