summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects/Tests.ml.reference
Commit message (Expand)AuthorAgeFilesLines
* fix PR#5436Jacques Garrigue2011-12-221-0/+6
* merge branches/gadts-develJacques Garrigue2011-11-241-0/+2
* Keep type variable namesJacques Garrigue2011-09-221-2/+2
* Force terminal to "DUMP" for reproducible test cases.Xavier Clerc2010-06-181-122/+80
* PR#4975: spelling mistakes "overriden" and "informations"Damien Doligez2010-05-211-2/+2
* The warning related to method overriding is now disabled.Xavier Clerc2010-05-031-53/+2
* Tests updated to handle 'method overriden' warningXavier Clerc2010-04-081-28/+38
* Tests moved to 'typing-objects'Xavier Clerc2010-04-071-0/+376