On Mon, 2004-03-22 at 09:34, Michael Vanier wrote:

> If I understand you correctly, then you're arguing that *all* my "core
> types" should be implemented using polymorphic variants.

I use Polymorphic Variants almost exclusively in Felix.
They're more flexible but also give nastier error messages.

The main downside is that to make covariant subtyping
you need to use fixpoints, which is fine for a single
parameter but unworkable for a more complex term
structure.

It would be interesting if Camlp4 could solve this problem
somehow.

-- 
John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net



-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners