On 30/10/2010 1:14 AM, Jacques Garrigue wrote:
On 2010/10/30, at 8:01, Jacques Le Normand wrote:
Note that, as in Jacques's examples, the constructor function was not curryfied.
(type t = A of bool * int) would generate a function (A : bool * int -> t).
Actually, curryfied constructors are not allowed, so this is not accepted.
(Existential types are allowed, which may have confused the other Jacques)
I was not confused at all.
Jacques Carette
PS: ;-)
_______________________________________________
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
