On Sat, Dec 4, 2010 at 9:54 PM, Jacques Le Normand <rathere...@gmail.com> wrote: > you may want to name your type parameters because you can mix GADT > constructors with normal constructors. consider: > > type 'a term = > | Ignore of 'a term : int term > | Embed of 'a > > I don't think propagating type parameters is a good idea. The current > rule is: ignore type parameters in GADT constructors. This is simpler > than unifying the type parameters with the arguments of the return > type of the constructor.
But it expands to: > type 'a term = > | Ignore of 'a term : int term > | Embed of 'a : 'a term _______________________________________________ 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
