Re: [Caml-list] method name collision ?

[Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>]

From: briand@aracnet.com

> I'm getting the following error 
> 
> The method point has type 'a -> 'b but is expected to have type
>   x:int -> y:int -> unit
> 
> for this code :
> 
> method point p0 =
>  etc..
> 
> The error makes sense, as in, I know that it is colliding with a
> method defined in the drawable class.
> 
> However I am inheriting the class using :
> 
>   inherit GDraw.drawable ?colormap w as drawable
> 
> It seems to me that the method I am defining, self#point, and the
> method in drawable, i.e. drawable#point, are distinct and therefore
> I should not be seeing this error message ?

The "as drawable" doesn't mean that the methods are distinct: you can
still call all inherited methods from the outside, and even through
self.
This only allows you to access the old definition of a method, if you
want to extend it incrementally.

method point ~x ~y =
  ...  drawable#point ~x ~y ...

Jacques Garrigue