Am 25.10.2010 10:39, schrieb Jacques Le Normand:
I am pleased to announce an experimental branch of the O'Caml compiler: O'Caml extended with Generalized Algebraic Datatypes.
Of course, some would claim than 3.12 is already almost there: http://okmij.org/ftp/ML/first-class-modules/#naive-GADTs (not that I usually understand what Oleg does...) - Florian _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs