From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA24026; Wed, 21 Nov 2001 22:04:57 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA24051 for caml-list@pauillac.inria.fr; Wed, 21 Nov 2001 22:04:56 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA12963 for ; Wed, 21 Nov 2001 21:33:01 +0100 (MET) Received: from femail26.sdc1.sfba.home.com (femail26.sdc1.sfba.home.com [24.254.60.16]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fALKWxn02565 for ; Wed, 21 Nov 2001 21:33:00 +0100 (MET) Received: from homebox ([24.5.132.36]) by femail26.sdc1.sfba.home.com (InterMail vM.4.01.03.20 201-229-121-120-20010223) with ESMTP id <20011121203248.MOSN5819.femail26.sdc1.sfba.home.com@homebox> for ; Wed, 21 Nov 2001 12:32:48 -0800 Reply-To: From: "Francois Rouaix" To: Subject: [Caml-list] stacking abstract base classes Date: Wed, 21 Nov 2001 12:33:43 -0800 Message-ID: <003201c172cb$cffe4680$ca01a8c0@homebox> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.2616 Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4807.1700 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I'm trying to stack up several abstract base classes, but apparently that doesn't fit the current type system. Is there another way to do this : class virtual a =3D object method virtual x : int end class virtual b =3D object inherit a as super method x =3D pred super#x end Without getting this: $ ocamlc /tmp/x.ml File "/tmp/x.ml", line 7, characters 17-22: This expression has no method x (using OCaml 3.02) --f Fran=E7ois Rouaix ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr