diff options
Diffstat (limited to 'ocaml-binary-annot/camlp4/Camlp4Printers/Camlp4AutoPrinter.ml')
| -rw-r--r-- | ocaml-binary-annot/camlp4/Camlp4Printers/Camlp4AutoPrinter.ml | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/ocaml-binary-annot/camlp4/Camlp4Printers/Camlp4AutoPrinter.ml b/ocaml-binary-annot/camlp4/Camlp4Printers/Camlp4AutoPrinter.ml new file mode 100644 index 0000000000..eb6b9a24dd --- /dev/null +++ b/ocaml-binary-annot/camlp4/Camlp4Printers/Camlp4AutoPrinter.ml @@ -0,0 +1,24 @@ +(****************************************************************************) +(* *) +(* Objective Caml *) +(* *) +(* INRIA Rocquencourt *) +(* *) +(* Copyright 2006 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed under *) +(* the terms of the GNU Library General Public License, with the special *) +(* exception on linking described in LICENSE at the top of the Objective *) +(* Caml source tree. *) +(* *) +(****************************************************************************) + +(* Authors: + * - Nicolas Pouillard: initial version + *) + +open Camlp4.Register; + +if Unix.isatty Unix.stdout then + enable_ocaml_printer () +else + enable_dump_ocaml_ast_printer (); |
