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 OAA06717; Thu, 1 Aug 2002 14:09:41 +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 OAA06651 for ; Thu, 1 Aug 2002 14:09:40 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g71C9dL23052; Thu, 1 Aug 2002 14:09:39 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA03640; Thu, 1 Aug 2002 14:09:39 +0200 (MET DST) Date: Thu, 1 Aug 2002 14:09:39 +0200 From: Xavier Leroy To: luther@dpt-info.u-strasbg.fr Cc: caml-list@inria.fr Subject: [Caml-list] Re: 3.05 and future 3.06 binary compatibility ? Message-ID: <20020801140939.A6160@pauillac.inria.fr> References: <20020729144527.A30919@pauillac.inria.fr> <000f01c2377c$36263060$2097fea9@janxp> <86vg6xlktk.fsf_-_@laurelin.dementia.org> <20020730095833.B6564@pauillac.inria.fr> <20020730083751.GA1041@iliana> <20020730161129.A27941@pauillac.inria.fr> <20020801093701.GA20892@iliana> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: <20020801093701.GA20892@iliana>; from root@iliana on Thu, Aug 01, 2002 at 11:37:01AM +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Will this 3.06 release be compatible with 3.05, or will we have to > rebuild all the libraries that were built with 3.05 for 3.06 ? > > I know you strongly recommend that libraries are rebuilt for each new > ocaml version, but a parsing bug hardly seem to affect binary > compatibility. It's a type-checking bug, not a parsing bug. You're correct that fixing it is likely not to break binary compatibility. However, I have bad news for you: it turns out that the .cmi files for 3.05 have a different format than those for 3.04, and we forgot to change the magic number in .cmi files whose purpose is precisely to guard against using a .cmi file in an old format. (The segfault reported by Alexander Voinov on this list was tracked down to such an undetected use of an old .cmi file.) Hence, the magic number will be bumped in 3.06, causing 3.05-compiled files to be rejected. I know you will hate me for this, but I really don't see any better solution. - Xavier Leroy, who also spent a while rebuilding all his libs PS. Your mail had an invalid From address "root@iliana". > > Friendly, > > Sven Luther ------------------- 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