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 /utils/clflags.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 'utils/clflags.ml')
| -rw-r--r-- | utils/clflags.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index 30644c2ae1..810d3f7662 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -57,6 +57,7 @@ and for_package = ref (None: string option) (* -for-pack *) and error_size = ref 500 (* -error-size *) let dump_source = ref false (* -dsource *) let dump_parsetree = ref false (* -dparsetree *) +and dump_typedtree = ref false (* -dtypedtree *) and dump_rawlambda = ref false (* -drawlambda *) and dump_lambda = ref false (* -dlambda *) and dump_clambda = ref false (* -dclambda *) |