otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2017-09-15	dialyzer: Improve check of unknown types	Hans 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-13	dialyzer: Warn about unused unknown types	Hans Bolinder

2017-04-26	dialyzer: Fix a bug regarding unknown types	Hans Bolinder
	Since commit 12b3790 Dialyzer has not reported unknown types.
2011-05-04	Rename suite data directories	Stavros Aronis