summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-poly
ModeNameSize
-rw-r--r--error_messages.ml4274logplain
-rw-r--r--poly.ml52180logplain
-rw-r--r--pr7636.ml687logplain
-rw-r--r--pr9603.ml922logplain