caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Yaron Minsky <yminsky@gmail.com>
To: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>,
	zack@debian.org, caml-list@inria.fr,
	debian-ocaml-maint@lists.debian.org
Subject: Re: [Caml-list] binary compatibility of 3.08.3
Date: Fri, 14 Jan 2005 10:01:00 -0500	[thread overview]
Message-ID: <891bd33905011407017d58a116@mail.gmail.com> (raw)
In-Reply-To: <20050114133632.GA4923@pegasos>

It's worth mentioning that the pain of such upgrades is considerably
reduced by the use of a package manager like GODI.  It's hardly
perfect, but it makes such things much easier.

y


On Fri, 14 Jan 2005 14:36:32 +0100, Sven Luther <sven.luther@wanadoo.fr> wrote:
> On Thu, Jan 13, 2005 at 03:02:39PM -0800, Jacques Garrigue wrote:
> > From: Stefano Zacchiroli <zack@debian.org>
> >
> > > 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.
> 
> Notice that this is really not nice for a bugfix release, since this means we
> have to rebuild all of the ocaml related packages on all arches, which may
> take us month and such. Maybe we would be better off just backporting the
> non-breaking fixes ? Maybe in future this situation could be somewhat improved ?
> 
> > 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...)
> 
> Oh, well. ...
> 
> Friendly,
> 
> Sven Luther
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>


  reply	other threads:[~2005-01-14 15:21 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-01-13  7:24 [Caml-list] Bug in Unix library on Mac? spiral voice
2005-01-13 16:53 ` Damien Doligez
2005-01-13 18:41   ` binary compatibility of 3.08.3 Stefano Zacchiroli
2005-01-13 23:02     ` [Caml-list] " Jacques Garrigue
2005-01-14 13:36       ` Sven Luther
2005-01-14 15:01         ` Yaron Minsky [this message]
2005-01-16 13:25           ` Sven Luther
2005-01-16 13:33             ` Berke Durak
2005-01-16 14:31               ` Sven Luther
2005-01-17  5:52             ` William Lovas
2005-01-15 12:07         ` Xavier Leroy
2005-01-16 13:37           ` Sven Luther
2005-01-16 16:26             ` Jacques Garrigue
2005-01-16 18:23               ` Sven Luther
2005-01-20  5:53                 ` Jacques Garrigue
2005-01-20  8:59                   ` Sven Luther
2005-01-16 21:08             ` Damien Doligez
2005-01-16 22:27               ` Sven Luther
2005-01-14 15:25       ` Marcin 'Qrczak' Kowalczyk
2005-01-27 15:40       ` Christophe TROESTLER
2005-01-30  6:11         ` Sven Luther
2005-01-30 11:12           ` Christophe TROESTLER
2005-01-30 15:28           ` Stefan Monnier
2005-01-31  7:09             ` Sven Luther

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=891bd33905011407017d58a116@mail.gmail.com \
    --to=yminsky@gmail.com \
    --cc=caml-list@inria.fr \
    --cc=debian-ocaml-maint@lists.debian.org \
    --cc=garrigue@math.nagoya-u.ac.jp \
    --cc=yminsky@cs.cornell.edu \
    --cc=zack@debian.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).