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 RAA07502 for caml-red; Tue, 6 Feb 2001 17:05:00 +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 TAA31627 for <caml-list@pauillac.inria.fr>; Mon, 5 Feb 2001 19:55:19 +0100 (MET)
Received: from post.webmailer.de (natmail2.webmailer.de [192.67.198.65])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f15ItJ911277
	for <caml-list@inria.fr>; Mon, 5 Feb 2001 19:55:19 +0100 (MET)
Received: from t2 (pD950775F.dip.t-dialin.net [217.80.119.95])
	by post.webmailer.de (8.9.3/8.8.7) with ESMTP id TAA14959;
	Mon, 5 Feb 2001 19:55:15 +0100 (MET)
Date: Mon, 5 Feb 2001 19:58:44 +0100
From: Stephan Tolksdorf <andorxor@gmx.de>
X-Mailer: The Bat! (v1.49) UNREG / CD5BF9353B3B7091
X-Priority: 3 (Normal)
Message-ID: <16911685873.20010205195844@gmx.de>
To: Brian Rogoff <bpr@best.com>
CC: caml-list@inria.fr
Subject: Re: Unbound type constructor
In-reply-To: <Pine.BSF.4.21.0102050903120.28934-100000@shell5.ba.best.com>
References: <Pine.BSF.4.21.0102050903120.28934-100000@shell5.ba.best.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: weis@pauillac.inria.fr

> If you check the recent Caml list archives under the title "circular
> types" (I think!) you'll find lots of discussion of the parameterization
> trick and other approaches. 

I've just found the thread in the archives. I've searched for it
before but I obviously had difficulties to find the right keywords.

Maybe this topic should be added to the faq?

Stephan Tolksdorf


PS: Is it me or is the time a mail needs to get finally delivered when
it is posted via the list rather slow?