unbound

a.ml

type t = {a:int; b:int}

let init () = {a=1; b=1}

b.ml

module T = struct
  open A

  let f () = .<fun s -> s.a>.
end

let () =
  let open A in
  let t = A.init () in
  let r_code = .< .~(T.f()) t >. in
  print_int (Runcode.run r_code)
  
(*
File "staging_parser.ml", line 21, characters 23-28:
Error: Unbound module Normal_parser

Fatal error: exception Failure("Error type-checking generated code: scope extrusion?")
*)

Makefile

#
# Build system for ocs library and interpreter
#

OCAMLBUILD = ocamlbuild
METAOCAMLC = metaocamlc

build:
	$(OCAMLBUILD) -classic-display -ocamlc $(METAOCAMLC) a.byte b.byte

clean:
	ocamlbuild -clean

.PHONY: byte clean