summaryrefslogtreecommitdiff
path: root/driver
ModeNameSize
-rw-r--r--compenv.ml10251logplain
-rw-r--r--compenv.mli1915logplain
-rw-r--r--compile.ml4037logplain
-rw-r--r--compile.mli1000logplain
-rw-r--r--compmisc.ml2358logplain
-rw-r--r--compmisc.mli891logplain
-rw-r--r--errors.ml972logplain
-rw-r--r--errors.mli890logplain
-rw-r--r--main.ml7466logplain
-rw-r--r--main.mli894logplain
-rw-r--r--main_args.ml24584logplain
-rw-r--r--main_args.mli5628logplain
-rw-r--r--ocamlcomp.sh.in896logplain
-rw-r--r--optcompile.ml3874logplain
-rw-r--r--optcompile.mli1000logplain
-rw-r--r--opterrors.ml972logplain
-rw-r--r--opterrors.mli885logplain
-rw-r--r--optmain.ml8040logplain
-rw-r--r--optmain.mli896logplain
-rw-r--r--pparse.ml6510logplain
-rw-r--r--pparse.mli1938logplain