james woodyatt wrote:
> I'm specifically excited about the polymorphic 
> generalization of covariant parts of expansive expressions.  

I read about this in the changes document, but I'm unable to wrap my 
head around it.

 > For instance, if f: unit -> 'a list, "let x = f ()"
 > gives "x" the generalized type forall 'a. 'a list, instead of '_a list
 > as before.

Can someone simplify this for me?  Under what circumstances would this 
be useful?

Karl

-------------------
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