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 SAA17290; Sat, 9 Aug 2003 18:15:13 +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 SAA06918 for ; Sat, 9 Aug 2003 18:15:11 +0200 (MET DST) Received: from mail2.tpgi.com.au (mail.tpgi.com.au [203.12.160.58]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h79GF9f27334 for ; Sat, 9 Aug 2003 18:15:10 +0200 (MET DST) Received: from 203-213-83-232-syd-ts15-2600.tpgi.com.au (203-213-83-232-syd-ts15-2600.tpgi.com.au [203.213.83.232]) by mail2.tpgi.com.au (8.12.9/8.12.9) with ESMTP id h79GF3Pp014240; Sun, 10 Aug 2003 02:15:05 +1000 Subject: Re: [Caml-list] version 7 beta typing change? From: skaller Reply-To: skaller@ozemail.com.au To: Jacques Garrigue Cc: caml-list@inria.fr In-Reply-To: <20030809211030X.garrigue@kurims.kyoto-u.ac.jp> References: <1060394583.12630.4.camel@localhost.localdomain> <20030809211030X.garrigue@kurims.kyoto-u.ac.jp> Content-Type: text/plain Message-Id: <1060445711.10145.3.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.2.2 (1.2.2-4) Date: 10 Aug 2003 02:15:12 +1000 Content-Transfer-Encoding: 7bit X-Kaspersky-Antivirus: Passed X-Loop: caml-list@inria.fr X-Spam: no; 0.00; ozemail:01 caml-list:01 jacques:01 3.06:01 3.07:01 bug:01 compiler:01 caml-bugs:01 garrigue:01 harder:02 typing:03 wrote:03 compiled:05 cvs:05 type:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sat, 2003-08-09 at 22:10, Jacques Garrigue wrote: > 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. will do.. > By the way, the preferred way to report bugs is through > caml-bugs@pauillac.inria.fr :-) This technique has several problems: its harder to use, there is no community feedback. I'm happy to use that mechanism when I'm *sure* there is a bug -- but it often takes some discussion to be sure :-) ------------------- 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