Date: Thu, 26 Nov 1998 16:58:42 +0100
From: Didier Remy <remy@morgon.inria.fr>
To: Anton Moscal <msk@post.tepkom.ru>
Subject: Re: Objects as sums
In-Reply-To: <Pine.LNX.4.03.9811251811020.1044-100000@post.tepkom.ru>; from Anton Moscal on Wed, Nov 25, 1998 at 06:17:35PM +0300
> class a = object (self)
> method b () = ((assert false): b)
> method c () = ((assert false): c)
> end
Here the type of method b is a (the type of objects of class a)
> and b = object (self)
> inherit a
> method b () = self
> end
The type of self is not the type a, since self may be an object ofa subclass
of a (imagine you are calling method b from a subclass of b). The system
tries to unify the type of self with a, and then fails.
One solution at this point is to write class b as follows:
class b = object (self)
inherit a
method b () = (self : #a :> a)
end;;
so that extra methods are hidden and self can be seem with type a.
However, it would have been better to define a as follows (which is probably
what you meant):
class a = object (self : 'a)
method b () = ((assert false): 'a)
method c () = ((assert false): 'a)
end;;
Here, the methods b and c return an object of the same type as their own
type. In particular, in a subclass, they will return an object of the type
of objects of the subclass...
Then, the rest of the example works unchanged.
class c = object (self)
inherit a
method c () = self
end;;
-Didier.
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:17 MET