summaryrefslogtreecommitdiff
path: root/driver
ModeNameSize
-rw-r--r--compile.ml5480logplain
-rw-r--r--compile.mli1072logplain
-rw-r--r--errors.ml3295logplain
-rw-r--r--errors.mli902logplain
-rw-r--r--main.ml7112logplain
-rw-r--r--main.mli906logplain
-rw-r--r--main_args.ml19055logplain
-rw-r--r--main_args.mli6582logplain
-rw-r--r--ocamlcomp.sh.in81logplain
-rw-r--r--optcompile.ml5272logplain
-rw-r--r--optcompile.mli1072logplain
-rw-r--r--opterrors.ml3353logplain
-rw-r--r--opterrors.mli897logplain
-rw-r--r--optmain.ml7456logplain
-rw-r--r--optmain.mli908logplain
-rw-r--r--pparse.ml2756logplain
-rw-r--r--pparse.mli1052logplain