I'm just about to finish a type reflector for camlp4.  It allows camlp4 modules
to receive correct information about the types of expressions in the input
code.  

Currently, I am using the parser from the parsing directory of the compiler to
yield a core_type_desc to the camlp4 code, which works well.  I intend to release
the type reflector under a mixture of Q Public License (the original license for
the files copied from O'caml), and LGPL for the code that I added.

Of course, all of the files copied from O'caml are clearly marked so.

Is this ok, or should I write my own parser, and parsetree types?

-- 
"Should array indices start at 0 or 1? My compromise of 0.5 was rejected
 without, I thought, proper consideration."
   - S. Kelly-Bootle

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners