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 LAA13818; Fri, 1 Feb 2002 11:33:07 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 LAA13993 for ; Fri, 1 Feb 2002 11:33:06 +0100 (MET) Received: from tcs.inf.tu-dresden.de (tcs.inf.tu-dresden.de [141.76.75.101]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g11AX5508707 for ; Fri, 1 Feb 2002 11:33:05 +0100 (MET) Received: from ithif51 (ithif51 [141.76.75.51]) by tcs.inf.tu-dresden.de (8.12.0.Beta7/8.12.0.Beta7) with ESMTP id g11AX5Qf020165 for ; Fri, 1 Feb 2002 11:33:05 +0100 (MET) Received: from tews by ithif51 with local (Exim 3.12 #1 (Debian)) id 16Wb0D-0003Lz-00 for ; Fri, 01 Feb 2002 11:33:05 +0100 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15450.28384.978996.868534@gargle.gargle.HOWL> Date: Fri, 1 Feb 2002 11:33:04 +0100 (CET) To: "OCaml" Subject: Re: [Caml-list] Mixed class / type In-Reply-To: <005901c1a9a7$b1b97b00$8f00a8c0@warp> References: <005901c1a9a7$b1b97b00$8f00a8c0@warp> X-Mailer: VM 6.75 under Emacs 20.7.2 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Warp writes: From: "Warp" Date: Wed, 30 Jan 2002 17:03:44 +0100 Subject: [Caml-list] Mixed class / type type menu = ..... and class wmenuitem : menu -> object ... end and class wmenu : object ... end The real solution would be to allow variant types and classes (or at least class types) to be mutually dependent. Why is this forbidden in ocaml? Bye, Hendrik ------------------- 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