aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/options2_SUITE_data/src/unused_unknown_type.erl
AgeCommit message (Collapse)Author
2017-09-15dialyzer: Improve check of unknown typesHans Bolinder
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.
2017-06-13dialyzer: Warn about unused unknown typesHans Bolinder