I am sorry - I am wrong.  I get an error in both cases listed below.
So the behavior is disconcerting to me, and no clear elegant solution
exists, but at least the behavior is consistent.

Luca

On 10/5/07, Luca de Alfaro <luca@dealfaro.org> wrote:
>
> The problem is also that the example I posted is a minimal instance of the
> problem, but my real problem is much harder to solve (or so I believe, let
> me know if you have suggestions!).
> My real problem is that I have a class r, that internally, in many places,
> uses objects of a class p.
> Then I subclass r into r', and in r', I need to replace objects of type p
> with objects of type p', a subclass of p.
> Inside r I have a method do_work that does something like, in its body:
>
>  ...
> let x = new Pclass.p in
> ...
>
> Now, if I cut-and-paste the code of do_work from r to r', and change the
> above line in:
> let x = new Pclass.p' in
> then everything works.
> If instead I replace the code in r with:
>
> method make_p = new Pclass.p
>
> ...
> let x = make_p in
> ...
>
> so that in r', I just need to override make_p with:
>
> method make_p = new Pclass.p'
>
> then the code does not type check --- and I don't know why, and in any
> case it is not logical to me.
> What would be the solution in this case?  The classes p, p' are used in
> many places in r, r', but the error only occurs when I do the above change.
> Any help would be appreciated --- at least, so that I understand better
> how not to break my code...
>
> Luca
>
>
> On 10/5/07, David Teller <David.Teller@ens-lyon.org> wrote:
> >
> > Sure. I'm just saying that this default behaviour is disconcerting.
> >
> > In addition to which, while it does appear in the documentation, it's
> > rather well hidden inside section 3.11 "Polymorphic methods" -- even
> > though this is not a method.
> >
> > Cheers,
> > David
> >
> > On Fri, 2007-10-05 at 12:53 +0200, Zheng Li wrote:
> > > 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>
> > >
> >
> > _______________________________________________
> > Caml-list mailing list. Subscription management:
> > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> > Archives: http://caml.inria.fr
> > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> > Bug reports: http://caml.inria.fr/bin/caml-bugs
> >
>
>