diff options
| author | Stavros Aronis <[email protected]> | 2011-07-21 00:29:58 +0200 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2011-08-29 09:31:35 +0300 |
| commit | e7f7a3052096286a3df0b6c2217a9fe3248be7f4 (patch) | |
| tree | a699147c8e7a6a59225d4cfa4f52de8661ea2d0b /lib/dialyzer/src/dialyzer_typesig.erl | |
| parent | 25b2e4850a231ac868c966f8ef3c2fbfe2f7dfde (diff) | |
| download | otp-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/dialyzer/src/dialyzer_typesig.erl')
0 files changed, 0 insertions, 0 deletions