summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/driver
ModeNameSize
-rw-r--r--compile.ml5545logplain
-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.ml19082logplain
-rw-r--r--main_args.mli6582logplain
-rw-r--r--ocamlcomp.sh.in81logplain
-rw-r--r--optcompile.ml5290logplain
-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