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 KAA24537 for caml-redistribution; Fri, 26 Nov 1999 10:58:33 +0100 (MET)
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 SAA04178 for <caml-list@pauillac.inria.fr>; Thu, 25 Nov 1999 18:23:00 +0100 (MET)
Received: from tequila.cs.yale.edu (TEQUILA.CS.YALE.EDU [128.36.229.152])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id SAA12271
	for <caml-list@inria.fr>; Thu, 25 Nov 1999 18:22:58 +0100 (MET)
Received: from tequila.cs.yale.edu (localhost [127.0.0.1])
	by tequila.cs.yale.edu (8.9.3/8.9.3) with SMTP id MAA06957
	for <caml-list@inria.fr>; Thu, 25 Nov 1999 12:22:57 -0500
To: caml-list@inria.fr
Sender: weis
From: "Stefan Monnier" <monnier+lists/caml/news/@tequila.cs.yale.edu>
Newsgroups: lists.caml
Subject: Re: The option -rectypes
References: <19991124215630.05496@pauillac.inria.fr> <Pine.LNX.4.10.9911251350560.25250-100000@post.tepkom.ru>
Date: 25 Nov 1999 12:22:51 -0500
Message-ID: <5l3dtuiiz8.fsf@tequila.cs.yale.edu>
X-Newsreader: Gnus v5.7/Emacs 20.5
Path: tequila.cs.yale.edu
NNTP-Posting-Host: tequila.cs.yale.edu
X-Trace: 25 Nov 1999 12:22:51 -0500, tequila.cs.yale.edu

>>>>> "Anton" == Anton Moscal <msk@post.tepkom.ru> writes:
> May be will be better to produce warning instead of error about recursive
> types, if no -rectypes specified?

Or to not infer recursive types but to accept them in type annotations?


	Stefan