From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rajb@rice.edu>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 36ABABC69
	for <caml-list@yquem.inria.fr>; Mon, 16 Jul 2007 03:29:46 +0200 (CEST)
Received: from mail.cs.rice.edu (mail.cs.rice.edu [128.42.1.31])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6G1Tisp003008
	for <caml-list@yquem.inria.fr>; Mon, 16 Jul 2007 03:29:45 +0200
Received: from mail.cs.rice.edu (localhost.localdomain [127.0.0.1])
	by mail.cs.rice.edu (Postfix) with ESMTP id C642F2C2ACE
	for <caml-list@yquem.inria.fr>; Sun, 15 Jul 2007 20:29:43 -0500 (CDT)
X-Virus-Scanned: by amavis-2.4.0 at mail.cs.rice.edu
Received: from mail.cs.rice.edu ([127.0.0.1])
	by mail.cs.rice.edu (mail.cs.rice.edu [127.0.0.1]) (amavisd-new, port 10024)
	with LMTP id PbgmhWoCB+R5 for <caml-list@yquem.inria.fr>;
	Sun, 15 Jul 2007 20:29:36 -0500 (CDT)
Received: from [192.168.1.112] (rrcs-24-242-151-115.sw.biz.rr.com [24.242.151.115])
	(using TLSv1 with cipher RC4-SHA (128/128 bits))
	(No client certificate requested)
	by mail.cs.rice.edu (Postfix) with ESMTP id 73DEB2C2AB4
	for <caml-list@yquem.inria.fr>; Sun, 15 Jul 2007 20:29:35 -0500 (CDT)
Mime-Version: 1.0 (Apple Message framework v750)
Content-Transfer-Encoding: 7bit
Message-Id: <11E0700C-4331-42AB-88F1-E6BD21D72F78@rice.edu>
Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed
To: caml-list@yquem.inria.fr
From: Raj B <rajb@rice.edu>
Subject: Recursive class+type definitions
Date: Sun, 15 Jul 2007 20:29:47 -0500
X-Mailer: Apple Mail (2.750)
X-Miltered: at discorde with ID 469ACA08.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; recursive:01 recursive:01 getx:01 recursion:01 define:01 data:02 types:03 float:03 cons:04 raj:05 raj:05 mutually:06 structure:06 mixing:07 classes:08 

Hi all

Can we have mutually recursive definitions mixing types and classes?  
For example, I want to define
a class called mypoint, which contains another data structure (say, a  
custom list) of mypoints.

class virtual mypoint =
	object
		method virtual getx : float
		method virtual getlist : mypointlist
	end

type mypointlist = Empty | Cons of (mypoint * mypointlist)

What is the best way to achieve this kind of mutual recursion?

Thanks
Raj