otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2016-04-29	dialyzer: Fix a bug in the translation of forms to types	Hans Bolinder
	A bug is fixed, but there are more problems. Modify erl_types.erl like this: -define(EXPAND_LIMIT, 500). and bogus warnings are output (again). Callbacks and specs are compared (subtype) in dialyzer_behaviour. If they are expanded to different depths, then invalid warnings can be generated.