English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] OCaml 3.05 released
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-07-30 (08:34)
From: Sven LUTHER <luther@d...>
Subject: Re: [Caml-list] Serious typechecking error involving new polymorphism (crash)
On Tue, Jul 30, 2002 at 09:58:33AM +0200, Xavier Leroy wrote:
> > I've discovered a fairly serious typechecking bug in 3.05.  I'm
> > reporting it on the webpage, but also want to mention it here so that
> > people are aware.
> Yes, this is a serious bug with polymorphic methods and fields.
> Expect a 3.06 release as soon as it is fixed.  In the meantime, you're
> welcome to experiment with polymorphic methods and fields, but don't
> bet the farm on them...

Xavier, don't you think it would be a good time for going with a dual cvs
branch scheme or something like that, where you have a released branch
(3.05, and bugfix releases : 3.05.1, 3.05.2, etc) and a development
branch (which will become 3.06).

I suppose it is easy now to do a 3.06 bufix release, but what will
happen when you encouter such a serious bug which needs fixing, when you
are in the middle of developpment of the next version, and the cvs tree
is not really in a releasable state ?

In this case, will you revert all your changes and reapply after having
released the bugfix version, hurry the developpment so you can ship the
new version fixing the bug, or just let the bug stay until the next
version is released ?

None of these solutions appear satisfactory.


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