Source file `pr_dump.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
# 1 "pr_dump.orig.ml"
(* camlp5r *)
(* pr_dump.ml,v *)
(* Copyright (c) INRIA 2007-2017 *)

open Versdep

let open_out_file () =
  match !(Pcaml.output_file) with
    Some f -> open_out_bin f
  | None -> pervasives_set_binary_mode_out stdout true; stdout

let first_loc_of_ast =
  function
    (_, loc) :: _ -> loc
  | [] -> Ploc.dummy

let interf (ast, eoi_loc) =
  let loc = first_loc_of_ast ast in
  let fname = Ploc.file_name loc in
  let pt = Ast2pt.interf fname (List.map fst ast) in
  let oc = open_out_file () in
  output_string oc Pconfig.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, eoi_loc) =
  let loc = first_loc_of_ast ast in
  let fname = Ploc.file_name loc in
  let pt = Ast2pt.implem fname (List.map fst ast) in
  let oc = open_out_file () in
  output_string oc Pconfig.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 -> ()

let _ = Pcaml.print_interf := interf
let _ = Pcaml.print_implem := implem

# 3 "pr_dump.cppo.ml"
let pr_dump = implem