Comment author: administrator

Full_Name: Laurent MAGDELAINE
Version: 3.04
OS: RedHat 6.2
Submission from: ca-ol-bordeaux-2-241.abo.wanadoo.fr (62.161.105.241)

Le probléme apparait lorsque je compile un nouveau toplevel,
vaec la commande "ocamlmktop", si je tente de lier un module dont
le nom est Misc (misc.ml).
Etrangement, le probléme disparait si le module en question porte un autre nom.

Lors de la commande suivante :

ocamlc -a -o mylib.cma -linkall misc.cmo others.cmo
ocamlmktop -custom -o mytop -linkall bigarray.cma mylib.cma

Le message d'erreur est le sivant :

Files /usr/local/lib/ocaml/topmain.cmo and graal.cma(Misc)
make inconsistent assumptions over interface Misc

Est-ce normal ?

Oui, c'est normal.
ocamlmktop est une abbreviation pour la commande suivante:
ocamlc -linkall toplevellib.cma -o mytop bigarray.cma mylib.cma topmain.cmo

Ca signifie que tous les noms de modules utilises par topmain.cmo sont
"intouchables".
La liste exhaustive est:
Arg, Clflags, Config, Errors, Filename, Format, List, Misc,
Printexc, Sys, Topdirs, Toploop, Warnings

Certains de ces noms ne semblent demander qu'a` etre reutilises...
L'utilisation de packages devrait regler le probleme dans le futur.

Jacques

Comment author: administrator

Fixed 2002-04-23 by XL as follows: topmain is now part of toplevellib.cma,
and the last module linked is topstart, which only references topmain.