David Teller <David.Teller@ens-lyon.org> writes:
> I agree with Luca that it's disconcerting. 
> When r is a class, I would expect 

>  let f (x:r) (y:r) =...
This expression says f accept arguments of type [r], what you mean to say is: f
accept any arguments belong to [r]'s subtypes family. Then say it with

# let f (x:#r) (y:#r) = x#get_x = y#get_x
val f : #r -> #r -> bool = <fun>

-- 
Zheng Li
http://www.pps.jussieu.fr/~li