On Sat, Dec 4, 2010 at 9:14 PM, Jacques Le Normand <rathere...@gmail.com> wrote: > > having > > type 'a t = Foo of 'a : 'b t > > creating a constructor of type forall 'a. 'a -> 'a t is really > confusing since the user explicitly gave the return type of the > constructor as 'b t.
But why would the user have named 'a in the first place then. In the context of Foo, it should be assumed that 'a t = 'b t _______________________________________________ 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
