ocaml - Camlp4 の前処理の結果を確認するにはどうすればよいですか?

Question

というファイルで Sexplib 構文拡張を使用していますmodule.ml。Camlp4 の前処理後にコンパイラに供給されるコードを確認したいと思います。ocamlfind を使用してこれを行う簡単な方法はありますか、それとも camlp4 を直接呼び出してすべての生パラメータを手動で渡す必要がありますか?

Answer 1

使用時ocamlbuild：

ocamlbuild module.pp.ml
cat _build/module.pp.ml

Answer 2

この出力

$ camlp4o `ocamlfind query type_conv`/pa_type_conv.cma  `ocamlfind query sexplib`/pa_sexp_conv.cma /home/kakadu/.opam/4.01.0/lib/ocaml/camlp4/Camlp4Printers/Camlp4OCamlPrinter.cmo a.ml | pr -t -o4
type t = (int * string)

let _ = fun (_ : t) -> ()

let __t_of_sexp__ =
  let _tp_loc = "a.ml.t"
  in
    function
    | Sexplib.Sexp.List ([ v1; v2 ]) ->
        let v1 = int_of_sexp v1 and v2 = string_of_sexp v2 in (v1, v2)
    | sexp -> Sexplib.Conv_error.tuple_of_size_n_expected _tp_loc 2 sexp

let _ = __t_of_sexp__

let t_of_sexp sexp =
  try __t_of_sexp__ sexp
  with
  | Sexplib.Conv_error.No_variant_match ((_tp_loc, sexp)) ->
      Sexplib.Conv_error.no_matching_variant_found _tp_loc sexp

let _ = t_of_sexp

let sexp_of_t (v1, v2) =
  let v1 = sexp_of_int v1
  and v2 = sexp_of_string v2
  in Sexplib.Sexp.List [ v1; v2 ]

let _ = sexp_of_t

このソースには

$ cat a.ml
type t = int*string with sexp