Browse thread
Files compiled with another version of OCaml
- Thomas Braibant
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2010-02-10 (14:27) |
From: | Thomas Braibant <thomas.braibant@g...> |
Subject: | Files compiled with another version of OCaml |
Hi list, I stumbled on the following error message, which was quite obscure to me. Error while loading "foo.cma": foo.cma is not a bytecode object file. I finally discovered that the foo.cma file had been compiled some time ago, when I was still using an earlier version of ocamlc (3.10.2 vs 3.11.1). I wonder if there is any piece of meta-information embedded in the compiled files (*.cm*), that would allow to inform at once the user that he/she mix things (something like hash/magic-numbers à la Coq). With best regards , Thomas Braibant