Of course OCaml doesn't need to be changed, just write a syntax extension in campl4.
On Thu, Aug 14, 2008 at 1:21 PM, Lukasz Stafiniak <[EMAIL PROTECTED]> wrote: > There is no way to avoid coercions altogether: OCaml doesn't have > inference for subtyping, using unification with row variables gives > the intersection behavior. But the language could be changed, with a > syntax like > > match x return e with > | ... -> ... > | ... -> ... > > meaning that all branches should be coerced to e. > _______________________________________________ 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