summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-gadts/term-conv.ml.principal.reference
Commit message (Expand)AuthorAgeFilesLines
* fix PR#5449Jacques Garrigue2011-12-281-4/+4
* fix PR#5450Jacques Garrigue2011-12-271-10/+10
* merge branches/gadts-develJacques Garrigue2011-11-241-0/+71