On 31-10-2010, Wojciech Daniel Meyer <wojciech.me...@googlemail.com> wrote: > bluestorm <bluestorm.d...@gmail.com> writes: > >> It was actually the case in Caml Light : each datatype constructor >> implicitly declared a constructor function with the same name. I >> don't exactly know why this feature was dropped in Objective Caml, >> but I think I remember (from a previous discussion) that people >> weren't sure it was worth the additional complexity. > > Would that be not possible now with Camlp4 extension? >
I am pretty sure, it is possible to implement them with camlp4. Just a matter of time -- and motivation. The only limitation I can see, is that the generated constructors won't be capitalized. E.g.: type t = MyConstr | YourConstr of int => type t = MyConstr | YourConstr of int let myConstr = MyConstr let yourConstr i = YouConstr i Regards, Sylvain Le Gall _______________________________________________ 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