summaryrefslogtreecommitdiff
path: root/driver
ModeNameSize
-rw-r--r--compenv.ml8819logplain
-rw-r--r--compenv.mli1582logplain
-rw-r--r--compile.ml4381logplain
-rw-r--r--compile.mli1000logplain
-rw-r--r--compmisc.ml2161logplain
-rw-r--r--compmisc.mli877logplain
-rw-r--r--errors.ml972logplain
-rw-r--r--errors.mli890logplain
-rw-r--r--main.ml6935logplain
-rw-r--r--main.mli894logplain
-rw-r--r--main_args.ml22447logplain
-rw-r--r--main_args.mli7692logplain
-rw-r--r--ocamlcomp.sh.in896logplain
-rw-r--r--optcompile.ml4117logplain
-rw-r--r--optcompile.mli1000logplain
-rw-r--r--opterrors.ml972logplain
-rw-r--r--opterrors.mli885logplain
-rw-r--r--optmain.ml7430logplain
-rw-r--r--optmain.mli896logplain
-rw-r--r--pparse.ml5214logplain
-rw-r--r--pparse.mli1286logplain