It is nice to see the introduction of explicit co/contra-variance
into ocaml. I just read the manual and didn't try some code, but
my understanding is that the variance stuff is only for type definitions
and not for classes. Why is this so ? Variance can be a mighty
tool in dealing with class hierarchies. 

pfitzen

-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr