Hi, I wonder, is there any theoretical reason why GADTs cannot be associated with polymorphic variants? As an example, consider the two type declarations below. The first is your run-of-the-mill GADT, supported by the current SVN trunk. The second is a PV-GADT, which is not accepted. But is this just a present limitation or a fundamental one?
type _ t1 = Foo: int t1 | Bar: float t1 type _ t2 = [ `Foo: int t2 | `Bar: float t2 ] Thanks in advance for your input! Cheers, Dario Teixeira -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
