]> On Wed, 2003-07-02 at 14:15, Christophe Raffalli wrote: > > Fresh O'Caml is an extension of the Objective Caml language > > <http://caml.inria.fr/ocaml/> with facilities for correctly manipulating > > object-language syntax involving alpha-convertible names and binding > > operations. > > Will this be part of ocaml 3.07 ? I would be very surprised -- there's still a lot of work to do on the freshness parts (efficiency improvements, native-code compilation, better compilation of abstraction pattern-matching etc.). However, I can't speak for the Caml team ;-) Mark -- Mark Shinwell -- http://mrs30.quns.cam.ac.uk/ -- Mark.Shinwell@cl.cam.ac.uk Theory and Semantics Group, University of Cambridge Computer Laboratory ------------------- 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