summaryrefslogtreecommitdiffstats
path: root/driver
ModeNameSize
-rw-r--r--compenv.ml9806logstatsplain
-rw-r--r--compenv.mli1660logstatsplain
-rw-r--r--compile.ml4334logstatsplain
-rw-r--r--compile.mli1000logstatsplain
-rw-r--r--compmisc.ml2358logstatsplain
-rw-r--r--compmisc.mli891logstatsplain
-rw-r--r--errors.ml972logstatsplain
-rw-r--r--errors.mli890logstatsplain
-rw-r--r--main.ml7234logstatsplain
-rw-r--r--main.mli894logstatsplain
-rw-r--r--main_args.ml23100logstatsplain
-rw-r--r--main_args.mli5487logstatsplain
-rw-r--r--ocamlcomp.sh.in896logstatsplain
-rw-r--r--optcompile.ml4076logstatsplain
-rw-r--r--optcompile.mli1000logstatsplain
-rw-r--r--opterrors.ml972logstatsplain
-rw-r--r--opterrors.mli885logstatsplain
-rw-r--r--optmain.ml7793logstatsplain
-rw-r--r--optmain.mli896logstatsplain
-rw-r--r--pparse.ml6281logstatsplain
-rw-r--r--pparse.mli1709logstatsplain