Stéphane Glondu a écrit : > > No, the bug shown by Guillaume is really a jocaml one: >
I don't think so. Explanations follow. > ---8<------------------------------------------------------------------- > st...@korell:/$ jocaml > JoCaml version 3.11.0 > > # Toploop.execute_phrase;; > Characters -1--1: > Toploop.execute_phrase;; > > Error: The files /usr/bin/jocaml and /usr/lib/ocaml/3.11.0/toploop.cmi > make inconsistent assumptions over interface Outcometree > ---8<------------------------------------------------------------------- > > This means that it is impossible to use the toplevel library with > jocaml. This is independant of findlib. And by the way: > This another bug. The point of Guillaume is that "#use "topfind"" is not working not that the toplevel library doesn't work. I admit that the two problems are related but somehow completely different. So please file a new bugreport which will affect this one (#532970). Cheers, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
