summaryrefslogtreecommitdiffstats
path: root/testsuite/tests/typing-modules
ModeNameSize
-rw-r--r--Makefile921logstatsplain
-rw-r--r--Test.ml1723logstatsplain
-rw-r--r--Test.ml.principal.reference1616logstatsplain
-rw-r--r--Test.ml.reference1616logstatsplain
-rw-r--r--a.mli48logstatsplain
-rw-r--r--aliases.ml6197logstatsplain
-rw-r--r--aliases.ml.reference12830logstatsplain
-rw-r--r--b.ml352logstatsplain
-rw-r--r--b2.ml312logstatsplain
-rw-r--r--b3.mli84logstatsplain
-rw-r--r--d.ml42logstatsplain
-rw-r--r--firstclass.ml992logstatsplain
-rw-r--r--firstclass.ml.reference1236logstatsplain
-rw-r--r--generative.ml1224logstatsplain
-rw-r--r--generative.ml.reference1671logstatsplain
-rw-r--r--pr5911.ml228logstatsplain
-rw-r--r--pr5911.ml.reference298logstatsplain
-rw-r--r--printing.ml242logstatsplain
-rw-r--r--printing.ml.reference294logstatsplain