summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-polyvariants-bugs
ModeNameSize
-rw-r--r--Makefile1168logplain
-rw-r--r--pr4775_ok.ml288logplain
-rw-r--r--pr4933_ok.ml290logplain
-rw-r--r--pr5057_ok.ml293logplain
-rw-r--r--pr5057a_bad.ml224logplain
-rw-r--r--privrowsabate_ok.ml1335logplain