diff options
| author | Alain Frisch <alain@frisch.fr> | 2012-12-18 17:19:53 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2012-12-18 17:19:53 +0000 |
| commit | f1d0e5afab598fe7086521eef8870f1e148e6b9b (patch) | |
| tree | 32fe9a074f26ea715b12d9713218a51f12214078 /driver/main_args.ml | |
| parent | 37406cc48411f9dced96683560678833ef50af47 (diff) | |
| download | ocaml-f1d0e5afab598fe7086521eef8870f1e148e6b9b.tar.gz | |
Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13139 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver/main_args.ml')
| -rw-r--r-- | driver/main_args.ml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/driver/main_args.ml b/driver/main_args.ml index 3f3e063ae9..2ab0e79faa 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -326,6 +326,10 @@ let mk_dparsetree f = "-dparsetree", Arg.Unit f, " (undocumented)" ;; +let mk_dtypedtree f = + "-dtypedtree", Arg.Unit f, " (undocumented)" +;; + let mk_drawlambda f = "-drawlambda", Arg.Unit f, " (undocumented)" ;; @@ -456,6 +460,7 @@ module type Bytecomp_options = sig val _use_prims : string -> unit val _dsource : unit -> unit val _dparsetree : unit -> unit + val _dtypedtree : unit -> unit val _drawlambda : unit -> unit val _dlambda : unit -> unit val _dinstr : unit -> unit @@ -487,6 +492,7 @@ module type Bytetop_options = sig val _dsource : unit -> unit val _dparsetree : unit -> unit + val _dtypedtree : unit -> unit val _drawlambda : unit -> unit val _dlambda : unit -> unit val _dinstr : unit -> unit @@ -547,6 +553,7 @@ module type Optcomp_options = sig val _nopervasives : unit -> unit val _dsource : unit -> unit val _dparsetree : unit -> unit + val _dtypedtree : unit -> unit val _drawlambda : unit -> unit val _dlambda : unit -> unit val _dclambda : unit -> unit @@ -594,6 +601,7 @@ module type Opttop_options = sig val _dsource : unit -> unit val _dparsetree : unit -> unit + val _dtypedtree : unit -> unit val _drawlambda : unit -> unit val _dlambda : unit -> unit val _dclambda : unit -> unit @@ -679,6 +687,7 @@ struct mk_use_prims F._use_prims; mk_dsource F._dsource; mk_dparsetree F._dparsetree; + mk_dtypedtree F._dtypedtree; mk_drawlambda F._drawlambda; mk_dlambda F._dlambda; mk_dinstr F._dinstr; @@ -713,6 +722,7 @@ struct mk_dsource F._dsource; mk_dparsetree F._dparsetree; + mk_dtypedtree F._dtypedtree; mk_drawlambda F._drawlambda; mk_dlambda F._dlambda; mk_dinstr F._dinstr; @@ -777,6 +787,7 @@ struct mk_nopervasives F._nopervasives; mk_dsource F._dsource; mk_dparsetree F._dparsetree; + mk_dtypedtree F._dtypedtree; mk_drawlambda F._drawlambda; mk_dlambda F._dlambda; mk_dclambda F._dclambda; @@ -826,6 +837,7 @@ module Make_opttop_options (F : Opttop_options) = struct mk_dsource F._dsource; mk_dparsetree F._dparsetree; + mk_dtypedtree F._dtypedtree; mk_drawlambda F._drawlambda; mk_dclambda F._dclambda; mk_dcmm F._dcmm; |