summaryrefslogtreecommitdiff
path: root/testsuite/tests/translprim
ModeNameSize
-rw-r--r--Makefile124logplain
-rw-r--r--array_spec.ml2210logplain
-rw-r--r--array_spec.ml.reference3492logplain
-rw-r--r--comparison_table.ml7988logplain
-rw-r--r--comparison_table.ml.reference14552logplain
-rw-r--r--module_coercion.ml1398logplain
-rw-r--r--module_coercion.ml.reference4499logplain
-rw-r--r--ref_spec.ml1478logplain
-rw-r--r--ref_spec.ml.reference2037logplain