summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-core-bugs
ModeNameSize
-rw-r--r--const_int_hint.ml5216logplain
-rw-r--r--missing_rec_hint.ml1538logplain
-rw-r--r--repeated_did_you_mean.ml285logplain
-rw-r--r--type_expected_explanation.ml5380logplain
-rw-r--r--unit_fun_hints.ml1794logplain