Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Xavier Leroy <xavier.leroy@i...>
Subject: [Caml-list] Re: 3.05 and future 3.06 binary compatibility ?
> 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