otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2014-04-17	hipe, dialyzer: Fix a bug concerning opaque types	Hans Bolinder
	Dialyzer sometimes output warnings like Attempt to test for inequality between a term of type 'false' and a term of opaque type 'false' \| gb_set() The reason was that erl_types:t_inf/3 when called from erl_types:t_find_unknown_opaque() did not return 'false' but found the mismatch. It should not return the mismatch unless the intersection is empty ('none'). Thanks to Shayan Pooya [[email protected]] for pointing out the bug.