From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 3C97CBB91 for ; Fri, 14 Jan 2005 00:02:31 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j0DN2UqF028883 for ; Fri, 14 Jan 2005 00:02:30 +0100 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 AAA26928 for ; Fri, 14 Jan 2005 00:02:29 +0100 (MET) 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 j0DN2RKY028878 for ; Fri, 14 Jan 2005 00:02:29 +0100 Received: from localhost (suiren [130.54.16.25]) by kurims.kurims.kyoto-u.ac.jp (8.13.1/8.13.1) with ESMTP id j0DN2Km6026459; Fri, 14 Jan 2005 08:02:22 +0900 (JST) Date: Thu, 13 Jan 2005 15:02:39 -0800 (PST) Message-Id: <20050113.150239.95895778.garrigue@math.nagoya-u.ac.jp> To: zack@debian.org Cc: caml-list@inria.fr, debian-ocaml-maint@lists.debian.org Subject: Re: [Caml-list] binary compatibility of 3.08.3 From: Jacques Garrigue In-Reply-To: <20050113184137.GA24040@fistandantilus.takhisis.org> References: <99C2C114-6583-11D9-B72B-000D9345235C@inria.fr> <20050113184137.GA24040@fistandantilus.takhisis.org> X-Mailer: Mew version 4.1 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 concorde with ID 41E6FE06.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 41E6FE03.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 binary:01 zacchiroli:01 damien:01 wrote:01 binary:01 bug:01 compiler:01 reasonnable:01 bug:01 variance:01 inference:01 variance:01 ...:98 cmi:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: From: Stefano Zacchiroli > On Thu, Jan 13, 2005 at 05:53:07PM +0100, Damien Doligez wrote: > > Or you can wait a few weeks for 3.08.3. > > BTW, do 3.08.3 break binary compatibility with 3.08.2? > (as happened when upgrading from 3.08.1 to 3.08.2) Any bug fix in the compiler has a very high probability of breaking binary compatibility. This is due to the fact interface digests depend on the indices of internal identifiers, so that purely internal changes may break compatibility, eventhough the cmi format is left unchanged. It is reasonnable to assume that 3.08.3 will not be binary compatible. By the way, due to a bug fix in the variance inference, it will also not be 100% source compatible, but I hope this has no impact on existing programs (as only few programs use variance). (I sincerely hope there were no unsound programs around...) Jacques Garrigue