I would be interested to hear what propeties of Ocaml you had to give up to get this interesting extension working? For example, what happens with checking for exhaustivness of match? Caml performs various optimizations in pattern matching, why are those still ok now that new alternatives may appear later?
With kind regards, Andrej -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
