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 OAA05048 for caml-red; Fri, 20 Oct 2000 14:43:59 +0200 (MET DST)
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 EAA29892 for <caml-list@pauillac.inria.fr>; Fri, 20 Oct 2000 04:33:06 +0200 (MET DST)
Received: from smtp4-cm.mail.eni.net (smtp4a-cm.mail.eni.net [216.133.226.137])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id e9K2X5L27995
	for <caml-list@inria.fr>; Fri, 20 Oct 2000 04:33:05 +0200 (MET DST)
Received: from checkerlap.d6.com ([216.233.204.162])
	by smtp4-cm.mail.eni.net (8.9.3/8.9.3) with ESMTP id TAA09191
	for <caml-list@inria.fr>; Thu, 19 Oct 2000 19:33:03 -0700
Message-Id: <4.3.2.7.2.20001019193338.02db0220@walt>
X-Sender: def6@walt
X-Mailer: QUALCOMM Windows Eudora Version 4.3.2
Date: Thu, 19 Oct 2000 19:35:03 -0700
To: caml-list@inria.fr
From: Chris Hecker <checker@d6.com>
Subject: circular types?
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Sender: weis@pauillac.inria.fr


How do I do this:

type foo = B of bar
type bar = F of foo

That is, I want two types to refer to each other.  I thought putting a 

type bar

above foo would do it, but that's an abstract type now, and when I redefine it I get a different type?

Chris