summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects/Tests.ml.principal.reference
Commit message (Expand)AuthorAgeFilesLines
* MPR#248: remember weak variable namesoctachron2017-07-131-3/+3
* Fixed grammar in error messagesMax Mouratov2017-04-061-1/+1
* fix commentJacques Garrigue2016-07-051-2/+2
* Fix PR#6505 for real, including -principal case; stricter handling of recursi...Jacques Garrigue2016-07-051-3/+6
* minor comment fixes by OctachronGabriel Scherer2015-10-101-1/+1
* Translation of french comments in testsuiteGabriel Scherer2015-10-091-4/+4
* GPR#159: Better locations for structure/signature itemsDamien Doligez2015-05-041-16/+16
* merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-221-8/+10
* fix Tests.ml{,.principal}.referenceGabriel Scherer2014-05-121-5/+5
* Fix PR#6405: unsound interaction of -rectypes and GADTsJacques Garrigue2014-05-091-5/+5
* Fix PR#6394: Assertion failed in Typecore.expand_pathJacques Garrigue2014-05-071-6/+6
* merge Leo's patch for PR#6384Jacques Garrigue2014-04-291-5/+5
* update expected test results following commit 14660Damien Doligez2014-04-231-2/+2
* Accept change of internal ids.Alain Frisch2013-10-231-6/+6
* Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-291-0/+2
|\
| * merge version/4.00 at revision 12866Jacques Garrigue2012-08-211-0/+302
* fix PR#5343 (was still unsound)Jacques Garrigue2012-12-021-5/+5
* clean up TABs and whitespaceDamien Doligez2012-07-301-4/+4
* Fix PR#5291Jacques Garrigue2012-06-011-0/+8
* merge with branch bin-annotFabrice Le Fessant2012-05-301-4/+4
* check with -principal tooJacques Garrigue2012-03-291-0/+302