summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-poly-bugs
ModeNameSize
-rw-r--r--pr5322_ok.ml296logplain
-rw-r--r--pr5673_ok.ml847logplain
-rw-r--r--pr6922_ok.ml6808logplain