otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2016-02-09	dialyzer: Correct byte_size() and comparisons	Hans Bolinder
	The argument of byte_size() is a bitstring(). The code in erl_bif_types that finds cases where comparisons always return true or false is corrected when it comes to maps and bit strings.
2011-08-29	Enhance Dialyzer's inference on comparisons	Stavros Aronis
	This patch makes Dialyzer aware of Erlang's total ordering of terms, enabling discrepancy detection in cases where e.g. integer() < tuple() is treated as a comparison that might also return false (when it is certain to always return true).