summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-modules
ModeNameSize
-rw-r--r--Makefile897logplain
-rw-r--r--Test.ml1590logplain
-rw-r--r--Test.ml.principal.reference1223logplain
-rw-r--r--Test.ml.reference1223logplain
-rw-r--r--generative.ml819logplain
-rw-r--r--generative.ml.reference1362logplain
-rw-r--r--pr5911.ml228logplain
-rw-r--r--pr5911.ml.reference298logplain