From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 5C72EBCAB for ; Fri, 3 Jun 2005 03:47:09 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j531l83d007820 for ; Fri, 3 Jun 2005 03:47:09 +0200 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 DAA28517; Fri, 3 Jun 2005 03:47:08 +0200 (MET DST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j531l6RT009217; Fri, 3 Jun 2005 03:47:07 +0200 Received: from localhost (suiren [130.54.16.25]) by kurims.kurims.kyoto-u.ac.jp (8.13.1/8.13.1) with ESMTP id j531l4g8017401; Fri, 3 Jun 2005 10:47:05 +0900 (JST) Date: Fri, 03 Jun 2005 10:46:50 +0900 (JST) Message-Id: <20050603.104650.54351477.garrigue@math.nagoya-u.ac.jp> To: Julien.Verlaguet@pps.jussieu.fr Cc: caml-list@inria.fr, caml-bugs@inria.fr Subject: Re: [Caml-list] Bug with cyclic abbreviations ? From: Jacques Garrigue In-Reply-To: References: X-Mailer: Mew version 4.2 on Emacs 21.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 429FB69C.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 429FB69A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 bug:01 -rectypes:01 ocaml:01 -rectypes:01 abbreviation:01 stack:01 abbreviation:01 bug:01 cvs:01 exception:01 pps:01 jussieu:01 cyclic:01 cyclic:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: From: Julien Verlaguet > This is a problem that I only have when the -rectypes option is activated. > > $./ocaml -rectypes > Objective Caml version 3.08.3 > > # type 'a t='a;; > type 'a t = 'a > > # type cycle='a t as 'a;; > The type abbreviation cycle is cyclic > > agreed. > > # let (x : 'a t as 'a)=0;; > Fatal error: exception Stack_overflow > > Shouldn't it detect the cyclic abbreviation in this case too ? Indeed, there was a bug in the occur check when using -rectypes. I suppose this bug has always been there. Funny nobody found it before. This is now fixed in CVS (both 3.08 and 3.09). By the way, there is a special address for bug reports. This helps tracking them. (Fortunately this one was solved immediately.) Jacques Garrigue