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 SAA11160 for caml-redistribution; Wed, 14 Jul 1999 18:05:45 +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 FAA20732 for ; Wed, 14 Jul 1999 05:09:46 +0200 (MET DST) Received: from iggy.triode.net.au (iggy.triode.net.au [203.63.235.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id FAA06228 for ; Wed, 14 Jul 1999 05:09:43 +0200 (MET DST) Received: from egret (pm1-18.triode.net.au [203.63.235.34]) by iggy.triode.net.au (8.9.3/8.8.8) with SMTP id NAA32329 for ; Wed, 14 Jul 1999 13:06:26 +1000 Message-Id: <3.0.6.32.19990714113852.00989890@mail.triode.net.au> X-Sender: skaller@mail.triode.net.au X-Mailer: QUALCOMM Windows Eudora Light Version 3.0.6 (32) Date: Wed, 14 Jul 1999 11:38:52 +1000 To: caml-list@inria.fr From: John Skaller Subject: recursive algebraic and class types Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: weis Someone recently posted a patch which allows class types and algebraic types to be mixed in the same declaration, so that they can be mutually recursive .. but I have lost the email. Could I ask the patch be posted again? Is there a simple workaround without the patch? [I need something like type expr_t = X | Y of class_t class type class_t = object method lookup : expr_t -> expr_t end ] BTW: when such changes to syntax are given, if applied they will not be useful with camlp4 unless it too is patched. :-( ------------------------------------------------------- John Skaller email: skaller@maxtal.com.au http://www.maxtal.com.au/~skaller phone: 61-2-96600850 snail: 10/1 Toxteth Rd, Glebe NSW 2037, Australia