Implementation is based on an abstract polymorphic type 'a code and function eval : 'a code -> 'a that evaluates it. We introduce various constructors for the code type.

All types within dynamically generated code are statically checked at programs compile time.

Current release allows dynamic generation of almost all OCaml consructs. Nice syntax extensions facilitate ease of use of the library.

See documentation for more details.

Software

The library is known to compile on Linux/Unix and on Windows with CygWin port of Objective Caml. You will need Caml 3.04, CamlP4 3.04, awk and GNU make to compile it.

README file
Changes
Distribution (docs included)
Documentation in .ps.gz format

Authors