Yitzhak Mandelbaum <yitzhakm@CS.Princeton.EDU> writes:
Is there any way to
access the type-checker used by ocamlc so that I can type check
No. Not from within a camlp4 parser or quotation expander.
Bye,
Hendrik