diff options
Diffstat (limited to 'camlp4/ocaml_src/meta/pr_dump.ml')
| -rw-r--r-- | camlp4/ocaml_src/meta/pr_dump.ml | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/camlp4/ocaml_src/meta/pr_dump.ml b/camlp4/ocaml_src/meta/pr_dump.ml deleted file mode 100644 index db42285310..0000000000 --- a/camlp4/ocaml_src/meta/pr_dump.ml +++ /dev/null @@ -1,48 +0,0 @@ -(* camlp4r *) -(***********************************************************************) -(* *) -(* Camlp4 *) -(* *) -(* Daniel de Rauglaudre, projet Cristal, INRIA Rocquencourt *) -(* *) -(* Copyright 2001 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) -(* *) -(***********************************************************************) - -(* This file has been generated by program: do not edit! *) - -let open_out_file () = - match !(Pcaml.output_file) with - Some f -> open_out_bin f - | None -> set_binary_mode_out stdout true; stdout -;; - -let interf ast = - let pt = Ast2pt.interf (List.map fst ast) in - let oc = open_out_file () in - let fname = !(Pcaml.input_file) in - output_string oc Config.ast_intf_magic_number; - output_value oc (if fname = "-" then "" else fname); - output_value oc pt; - flush oc; - match !(Pcaml.output_file) with - Some _ -> close_out oc - | None -> () -;; - -let implem ast = - let pt = Ast2pt.implem (List.map fst ast) in - let oc = open_out_file () in - let fname = !(Pcaml.input_file) in - output_string oc Config.ast_impl_magic_number; - output_value oc (if fname = "-" then "" else fname); - output_value oc pt; - flush oc; - match !(Pcaml.output_file) with - Some _ -> close_out oc - | None -> () -;; - -Pcaml.print_interf := interf;; -Pcaml.print_implem := implem;; |