summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects
ModeNameSize
-rw-r--r--Exemples.ml7824logplain
-rw-r--r--Exemples.ml.principal.reference10350logplain
-rw-r--r--Exemples.ml.reference10350logplain
-rw-r--r--Makefile921logplain
-rw-r--r--Tests.ml8014logplain
-rw-r--r--Tests.ml.principal.reference10276logplain
-rw-r--r--Tests.ml.reference10264logplain
-rw-r--r--pr5619_bad.ml463logplain
-rw-r--r--pr5619_bad.ml.principal.reference632logplain
-rw-r--r--pr5619_bad.ml.reference632logplain
-rw-r--r--pr5858.ml65logplain
-rw-r--r--pr5858.ml.reference179logplain
-rw-r--r--pr6123_bad.ml372logplain
-rw-r--r--pr6123_bad.ml.principal.reference352logplain
-rw-r--r--pr6123_bad.ml.reference352logplain