Re: [Caml-list] Problems with printing MetaOCaml generated code

["Ömer Sinan Ağacan" <omeragacan@gmail.com>]

In case anyone's still interested, I produced a very simple example that
demonstrates the issue:

  ➜  metaocaml_serialization_issue git:(master) ✗ ls
  Main.ml  Syntax.ml
  ➜  metaocaml_serialization_issue git:(master) ✗ cat Syntax.ml
  type stx =
    | A
    | B of stx
    | C of (stx * stx)
  ➜  metaocaml_serialization_issue git:(master) ✗ cat Main.ml
  open Format
  open Print_code
  open Runcode
  open Syntax

  let _ =
    let stx1 = A in
    let stx2 = B A in
    let stx3 = C (A, A) in

    print_code std_formatter .< stx1 >.;
    print_code std_formatter .< stx2 >.;
    print_code std_formatter .< stx3 >.;

    print_closed_code std_formatter (close_code .< stx1 >.);
    print_closed_code std_formatter (close_code .< stx2 >.);
    print_closed_code std_formatter (close_code .< stx3 >.);
  ➜  metaocaml_serialization_issue git:(master) ✗ metaocamlc Syntax.ml -c
  ➜  metaocaml_serialization_issue git:(master) ✗ metaocamlc
Syntax.cmo Main.ml -o main
  ➜  metaocaml_serialization_issue git:(master) ✗ ./main
  .<(* CSP stx1 *) Obj.magic 0>. .<(* CSP stx2 *)>. .<(* CSP stx3 *)>. .<
  (* CSP stx1 *) Obj.magic 0>. .<(* CSP stx2 *)>. .<(* CSP stx3 *)>.
  ➜  metaocaml_serialization_issue git:(master) ✗


2015-05-01 12:53 GMT-04:00 Ömer Sinan Ağacan <omeragacan@gmail.com>:
>> You can't serialize `eval_ref` as `eval_ref` because that is a local
>> identifier. If you print out `eval_ref` into some other ml file and compiler
>> it, it is going to give an "Unbound identifier eval_ref" error.
>
> That's true. Just to make sure and make the output more clear, I moved the
> relevant code to another module, and now it's printing this:
>
> .<Unlambda.eval_ref (* CSP p' *) []>.
>
> My main question is that it should serialize p' here, but it doesn't. I'm
> trying to understand why.