summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects/pr5619_bad.ml.reference
Commit message (Expand)AuthorAgeFilesLines
* redundancy check now works / complement of exhaustivenessJacques Garrigue2015-09-021-3/+3
* fix PR#5619Jacques Garrigue2012-05-251-0/+18