Как я могу увидеть результат предварительной обработки Camlp4?

Question

Я использую расширение синтаксиса Sexplib в файле с именем module.ml, и я хотел бы увидеть код, который подается в компилятор после предварительной обработки Camlp4. Есть ли простой способ сделать это с помощью ocamlfind или мне нужно напрямую вызвать camlp4 и вручную передать все необработанные параметры?

Answer 1

Этот выход

$ 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 

Answer 2

При использовании ocamlbuild:

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