Comment author: administrator

est-ce que les fichiers .cmi produits par ocamlc, ocamlcp et ocamlopt
sont censés être identiques/compatibles ?

ocamlc et ocamlopt: oui.
ocamlcp: pas forcément (dans le cas où le .ml n'a pas de .mli).

J'ai l'impression qu'en 3.01, ocamlc et ocamlopt donnent les même .cmi
et que l'on obtient des segfaults si l'on essaye de les melanger avec ceux
produits par ocamlcp. En 3.02, ils sont tous les trois incompatibles.
Est-ce voulu ?

La différence ocamlc / ocamlopt doit être vue comme un bug, et je suis
intéressé par un exemple.

• Xavier

Comment author: administrator

On Tue, 21 Aug 2001, Xavier Leroy wrote:

J'ai l'impression qu'en 3.01, ocamlc et ocamlopt donnent les même .cmi
et que l'on obtient des segfaults si l'on essaye de les melanger avec ceux
produits par ocamlcp. En 3.02, ils sont tous les trois incompatibles.
Est-ce voulu ?

La différence ocamlc / ocamlopt doit être vue comme un bug, et je suis
intéressé par un exemple.

Oops, problème entre la chaise et l'écran, j'utilisais ocamlc 3.02 et
ocamlopt 3.01.

Du coup, les fichiers .cmi produits par ocamlc et ocamlopt sont
effectivement identiques, et incompatibles avec ceux produits par ocamlcp,
mais on a toujours des segfaults (le compilateur accepte des mauvais cmi).

exemple:

record.ml:
let f x = x type 'a t

types.ml=types.mli:
type t and record = t Record.t

test.ml:
Record.f ();;

ocamlopt -c record.ml
ocamlcp -c record.ml
ocamlcp -c types.mli
ocamlopt -c types.ml <--- il faut signaler que types.cmi est mauvais
ocamlopt -c test.ml
ocamlopt -o test.opt record.cmx types.cmx test.cmx
./test.opt
make: *** [do] Segmentation fault

Alain

Comment author: administrator

Was a bug in consistency checking in the ocamlopt linker. Fixed 2001-11-29 by
XL.