summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects-bugs
ModeNameSize
-rw-r--r--pr3968_bad.compilers.reference1554logplain
-rw-r--r--pr3968_bad.ml545logplain
-rw-r--r--pr4018_bad.compilers.reference967logplain
-rw-r--r--pr4018_bad.ml1266logplain
-rw-r--r--pr4435_bad.compilers.reference196logplain
-rw-r--r--pr4435_bad.ml494logplain
-rw-r--r--pr4766_ok.ml247logplain
-rw-r--r--pr4824_ok.ml235logplain
-rw-r--r--pr4824a_bad.compilers.reference420logplain
-rw-r--r--pr4824a_bad.ml403logplain
-rw-r--r--pr5156_ok.ml459logplain
-rw-r--r--pr7284_bad.compilers.reference316logplain
-rw-r--r--pr7284_bad.ml733logplain
-rw-r--r--pr7293_ok.ml275logplain
-rw-r--r--woodyatt_ok.ml395logplain
-rw-r--r--yamagata021012_ok.ml5052logplain