summaryrefslogtreecommitdiffstats
path: root/experimental/garrigue
ModeNameSize
-rw-r--r--.cvsignore13logstatsplain
-rw-r--r--caml_set_oid.diff4268logstatsplain
-rw-r--r--coerce.diff3554logstatsplain
-rw-r--r--countchars.ml381logstatsplain
-rw-r--r--dirs_multimatch40logstatsplain
-rw-r--r--dirs_poly67logstatsplain
-rw-r--r--fixedtypes.ml1790logstatsplain
-rw-r--r--gadt-escape-check.diff18182logstatsplain
-rw-r--r--generative-functors.diff43823logstatsplain
-rw-r--r--impure-functors.diff9286logstatsplain
-rw-r--r--marshal_objects.diff30642logstatsplain
-rw-r--r--module-errors.diff15974logstatsplain
-rw-r--r--multimatch.diff55678logstatsplain
-rw-r--r--multimatch.ml3732logstatsplain
-rw-r--r--newlabels.ps91471logstatsplain
-rw-r--r--nongeneral-let.diff16248logstatsplain
-rw-r--r--objvariant.diff14724logstatsplain
-rw-r--r--objvariant.ml992logstatsplain
-rw-r--r--parser-lessminus.diff3066logstatsplain
-rw-r--r--pattern-local-types.diff18752logstatsplain
-rw-r--r--printers.ml181logstatsplain
-rw-r--r--propagation-to-patterns.diff8335logstatsplain
-rw-r--r--show_types.diff16157logstatsplain
-rw-r--r--tests.ml609logstatsplain
-rw-r--r--valvirt.diff97502logstatsplain
-rw-r--r--variable-names-Tvar.diff59873logstatsplain
-rw-r--r--variable-names.ml285logstatsplain
-rw-r--r--varunion.ml12089logstatsplain
-rw-r--r--with-module-type.diff21675logstatsplain