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 OAA04102; Sat, 9 Aug 2003 14:09:58 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 OAA31595 for ; Sat, 9 Aug 2003 14:09:56 +0200 (MET DST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h79C9sT03748 for ; Sat, 9 Aug 2003 14:09:55 +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.3p2/3.7W) with ESMTP id VAA17563; Sat, 9 Aug 2003 21:09:41 +0900 (JST) To: skaller@ozemail.com.au Cc: caml-list@inria.fr Subject: Re: [Caml-list] version 7 beta typing change? In-Reply-To: <1060394583.12630.4.camel@localhost.localdomain> References: <1060394583.12630.4.camel@localhost.localdomain> X-Mailer: Mew version 1.94.2 on Emacs 21.2 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20030809211030X.garrigue@kurims.kyoto-u.ac.jp> Date: Sat, 09 Aug 2003 21:10:30 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; jacques:01 caml-list:01 ozemail:01 3.06:01 3.07:01 bug:01 compiler:01 caml-bugs:01 garrigue:01 typing:03 compiled:05 cvs:05 cheers:06 kurims:06 type:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: skaller > Code that compiled on 3.06 doesn't work on 3.07 beta1. > Is this a bug in the old typing, in the new typing, or what? This is clearly a bug in the compiler. A more immediate way to see it is: type 'a t = < m : 'a > type u = 'a t as 'a This should be valid, but causes an error on beta1. I've just commited a fix in CVS, so it might be nice if you can try the CVS version with your software. By the way, the preferred way to report bugs is through caml-bugs@pauillac.inria.fr :-) Cheers, 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