aboutsummaryrefslogtreecommitdiffstats
path: root/lib/asn1/release
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2011-07-21 00:29:58 +0200
committerStavros Aronis <[email protected]>2011-08-29 09:31:35 +0300
commite7f7a3052096286a3df0b6c2217a9fe3248be7f4 (patch)
treea699147c8e7a6a59225d4cfa4f52de8661ea2d0b /lib/asn1/release
parent25b2e4850a231ac868c966f8ef3c2fbfe2f7dfde (diff)
downloadotp-e7f7a3052096286a3df0b6c2217a9fe3248be7f4.tar.gz
otp-e7f7a3052096286a3df0b6c2217a9fe3248be7f4.tar.bz2
otp-e7f7a3052096286a3df0b6c2217a9fe3248be7f4.zip
Enhance Dialyzer's inference on comparisons
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).
Diffstat (limited to 'lib/asn1/release')
0 files changed, 0 insertions, 0 deletions