* [Caml-list] inconsistent assumption et erreur en general @ 2001-12-27 21:14 polux moon 2001-12-30 8:08 ` Alan Schmitt 0 siblings, 1 reply; 2+ messages in thread From: polux moon @ 2001-12-27 21:14 UTC (permalink / raw) To: caml-list [-- Attachment #1: Type: text/plain, Size: 252 bytes --] Y a t il un document qui explique precisement les messages d erreurs des compilateurs ocaml (les causes precises pouvant etre a l origine du message) J ai une erreur "inconsistent assumption over interface ThreadUnix" et je vois pas pourquoi. [-- Attachment #2: Type: text/html, Size: 794 bytes --] ^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] inconsistent assumption et erreur en general 2001-12-27 21:14 [Caml-list] inconsistent assumption et erreur en general polux moon @ 2001-12-30 8:08 ` Alan Schmitt 0 siblings, 0 replies; 2+ messages in thread From: Alan Schmitt @ 2001-12-30 8:08 UTC (permalink / raw) To: polux moon; +Cc: caml-list * polux moon (polux.moon@wanadoo.fr) wrote: > J ai une erreur "inconsistent assumption over interface ThreadUnix" et je vois pas pourquoi. > Cela veut dire que la version de ThreadUnix avec laquelle a été compilé un cmo n'est pas la même que la version avec laquelle il est linké. Cela peut typiquement arriver lorsque l'on change sa version de caml et que l'on recompile un programme sans commencer par faire "make clean" avant (ie effacer tous les cmo pour les recompiler avec la nouvelle version). Amicalement, Alan -- The hacker: someone who figured things out and made something cool happen. ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2001-12-30 8:31 UTC | newest] Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2001-12-27 21:14 [Caml-list] inconsistent assumption et erreur en general polux moon 2001-12-30 8:08 ` Alan Schmitt
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).