Re: Tree of a certain class:

From: Sylvain BOULM'E (
Date: Fri Sep 24 1999 - 14:18:54 MET DST

Message-Id: <>
Subject: Re: Tree of a certain class:
In-Reply-To: Your message of "Fri, 24 Sep 1999 10:15:52 +0200."
Date: Fri, 24 Sep 1999 14:18:54 +0200
From: "Sylvain BOULM'E" <>


Actually, #debug is an abbrevation for
 <method debug : unit; ..>
where ".." is a row type variable, you may imagine as universally quantified.
And methods of a class are not allowed to be polymorphic. Only classes are.
So, you have to bound this row variable to a type parameter of the class.

* So a general solution is :

class ['a] dtree =
    constraint 'a=#debug
    inherit ['a] ctree

* But if you want only a "debug tree", you may write :

class dtree =
    inherit [debug] ctree



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:25 MET