From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id EAA06756; Mon, 10 Jun 2002 04:42:49 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 EAA06707 for ; Mon, 10 Jun 2002 04:42:49 +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.11.1/8.11.1) with ESMTP id g5A2glH22263 for ; Mon, 10 Jun 2002 04:42:47 +0200 (MET DST) Received: from localhost (suiren.kurims.kyoto-u.ac.jp [130.54.16.25]) by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id LAA23378; Mon, 10 Jun 2002 11:42:33 +0900 (JST) To: alex@baretta.com Cc: caml-list@inria.fr Subject: Re: [Caml-list] Compiler killer code? In-Reply-To: <3D035829.1060401@baretta.com> References: <3D02156D.7070303@baretta.com> <20020608143402.GQ6777@holomorphy.com> <3D035829.1060401@baretta.com> X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20020610114233G.garrigue@kurims.kyoto-u.ac.jp> Date: Mon, 10 Jun 2002 11:42:33 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: Alessandro Baretta > Objective Caml version 3.04+13 (2002-06-05) > > # type t = t -> t ;; > type t = t -> t > # let rec f (x:t) = f f ;; > Interrupted. That's a bug: the compiler is never supposed to loop. At least in the core language. As already pointed out, the bug is on the first line: you shouldn't be able to define such a type without -rectypes. > Question for the developers: are "-rectypes" automatically > enabled in the CVS version I am using? No. This is just a bug. Now fixed. As Xavier remarked, questions regarding the CVS version should go to caml-bugs@pauillac.inria.fr as most people on this list do not use it. An extra advantage is that then we can do bug tracking, and your bug id would appear in the CVS log. Thank you for this bug report. This helped correcting on overlooked bug. Jacques Garrigue ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners