]> can coercing an object to a #-type ever change the type of the object? [i tried to come up with some instance where this would happen, but could not, and on thinking about it i would guess that since a #-type is 'open', it makes no sense to coerce to such a type.] A somewhat related question: class a = object method bla = 1 end are the types #a and < bla : int; ..> equivalent? (in the sense that using on instead of the other will always give identical results) Thanks Henri ------------------- 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