| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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). | |||
 |
index : otp.git | |
| Mirror of Erlang/OTP repository. | OTP Team |
| aboutsummaryrefslogtreecommitdiffstats |