Comment author: administrator

Full_Name: Craig Falls
Version: 3.06
OS: Debian Sid
Submission from: 12-232-69-28.client.attbi.com (12.232.69.28)

The following code generates a segmentation fault in my ocaml toplevel:

module Blah =
struct
type t = int
let compare = Pervasives.compare
end;;
module Intset = Set.Make (Blah);;
let x = ref Intset.empty;;
x := Intset.add 1 !x;;

Attempting to compile the code using ocamlc gives the message:

Files set_test.cmo and /usr/lib/ocaml/3.06/stdlib.cma(Set)
make inconsistent assumptions over interface Set

I suspect this code is malformed in some way and/or my unstable linux
distribution are to blame.

Thanks for your bug report and your interest for Caml.

This is typical of a situation where the Caml compiler and system had
not been properly updated: you are trying to link old compiled
libraries the code of which is now uncompatible with their new
interfaces in the new system.

So, first erase the old ocaml installation (which means removing the
Caml binaries and libraries directories, presumably the entire
directories /usr/local/lib/ocaml and /usr/local/bin/ocaml) and then
reinstall a fresh Caml distribution. This should normally solve your
problem. If it does not, please report it.

Best regards,

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/

Comment author: administrator

toplevel segfault fixed by XL before 3.07
the rest is not a bug