From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA23853 for caml-redistribution; Fri, 24 Sep 1999 13:33:15 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA09983 for ; Fri, 24 Sep 1999 10:09:19 +0200 (MET DST) Received: from gatesrv.rz.unibw-muenchen.de (gatesrv.RZ.UniBw-Muenchen.de [137.193.11.27]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id KAA14031; Fri, 24 Sep 1999 10:09:17 +0200 (MET DST) Received: from XTerminator.StudFb.UniBw-Muenchen.De (Xterminator.STUDFB.UniBw-Muenchen.de [137.193.211.64]) by gatesrv.rz.unibw-muenchen.de (8.9.1b+Sun/8.9.3) with ESMTP id KAA04484; Fri, 24 Sep 1999 10:09:16 +0200 (MET DST) Received: from lunatic.studfb.unibw-muenchen.de (root@lunatic.STUDFB.UniBw-Muenchen.de [137.193.211.16]) by XTerminator.StudFb.UniBw-Muenchen.De (8.8.7/8.8.6) with ESMTP id KAA29021; Fri, 24 Sep 1999 10:09:15 +0200 Received: from unibw-muenchen.de (popel@lunatic.studfb.unibw-muenchen.de [137.193.211.16]) by lunatic.studfb.unibw-muenchen.de (8.9.3/8.9.3/Debian/GNU) with ESMTP id KAA06917; Fri, 24 Sep 1999 10:15:54 +0200 Sender: weis Message-ID: <37EB3338.4E226250@unibw-muenchen.de> Date: Fri, 24 Sep 1999 10:15:52 +0200 From: Peter Schrammel Reply-To: peter.schrammel@gmx.de Organization: noitazinagrO X-Mailer: Mozilla 4.61 [en] (X11; I; Linux 2.2.10 i686) X-Accept-Language: en MIME-Version: 1.0 To: Pierre Weis , caml-list@inria.fr Subject: Tree of a certain class: References: <199909171244.OAA22193@pauillac.inria.fr> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit I wrote a Program: type 'i tree = Empty | Item of 'i | Section of 'i * 'i class ['i] ctree = object (self : 'a) val mutable content : 'i tree = Empty method get = content end class debug = object method debug = () end class dtree = object inherit [#debug] ctree end But the compiler gives me the error: Some type variables are unbound in this type: class dtree : object val mutable content : (#debug as 'a) tree method get : 'a tree end The method get has type #debug tree where .. is unbound make: *** [test.cmo] Error 2 How can make trees of a certain (sub)class ? (I hope there's a simple solution) Regards, Peter -- Peter Schrammel UniBw-Muenchen 106/2/116 85579 Neubiberg ICQ: 5469131