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