summaryrefslogtreecommitdiffstats
path: root/testsuite/tests/typing-warnings
ModeNameSize
-rw-r--r--Makefile937logstatsplain
-rw-r--r--coercions.ml186logstatsplain
-rw-r--r--coercions.ml.principal.reference604logstatsplain
-rw-r--r--coercions.ml.reference427logstatsplain
-rw-r--r--pr5892.ml147logstatsplain
-rw-r--r--pr5892.ml.reference405logstatsplain
-rw-r--r--records.ml3557logstatsplain
-rw-r--r--records.ml.principal.reference10343logstatsplain
-rw-r--r--records.ml.reference9626logstatsplain