Original bug ID: 1883
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Hello,

Deux utilisateurs m'ont signalé un problème avec mon package ulex:

http://www.cduce.org/download/ulex-0.3.tar.gz

et OCaml 3.06. Il semble qu'ocamlc et ocamlopt produisent des .cmi
incompatibles pour les mêmes sources.

clipper ~/ulex-0.3 $ make all
ocamlc -a -o ulexing.cma utf8.mli utf8.ml ulexing.mli ulexing.ml
ocamlc -a -o pa_ulex.cma -pp 'camlp4o pa_extend.cmo q_MLast.cmo' -I +camlp4 cset.ml ulex.mli ulex.ml pa_ulex.ml
clipper ~/ulex-0.3 $ make all.opt
ocamlopt -a -o ulexing.cmxa utf8.mli utf8.ml ulexing.mli ulexing.ml
clipper ~/ulex-0.3 $ make run_test
ocamlc -o test -pp 'camlp4o ./pa_ulex.cma' ulexing.cma test.ml
Files test.cmo and ulexing.cma(Ulexing)
make inconsistent assumptions over interface Ulexing
make: *** [run_test] Error 2

Le problème semble avoir disparu avec OCaml 3.07. Est-ce qu'un bug qui
pourrait expliquer ça a été corrigé depuis OCaml 3.06?

Le Makefile génère directement les .cma et .cmxa depuis les sources, avec
un seul appel aux compilateurs. Je pense que ça ne devrait pas poser de
problème.

-- Alain