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 /erts/example/next_perm.cc | |
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 'erts/example/next_perm.cc')
0 files changed, 0 insertions, 0 deletions