summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-polyvariants-bugs-2
ModeNameSize
-rw-r--r--pr3918a.mli41logplain
-rw-r--r--pr3918b.mli48logplain
-rw-r--r--pr3918c.compilers.reference218logplain
-rw-r--r--pr3918c.ml576logplain