* [Caml-list] Compiler disagreeing with itself @ 2002-07-20 19:56 Alessandro Baretta 2002-07-20 20:03 ` Alessandro Baretta 0 siblings, 1 reply; 2+ messages in thread From: Alessandro Baretta @ 2002-07-20 19:56 UTC (permalink / raw) To: Ocaml > $ make clean > rm -f afo.cmi ... > $ ocamlfind ocamlc -package pxp -c utils.ml > The compiled interfaces afo.cmi and afo.cmi > make inconsistent assumptions over interface Afo We have here a schizoid compiler. Is it matter for informaticians or psychiatrists? Alex ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners ^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] Compiler disagreeing with itself 2002-07-20 19:56 [Caml-list] Compiler disagreeing with itself Alessandro Baretta @ 2002-07-20 20:03 ` Alessandro Baretta 0 siblings, 0 replies; 2+ messages in thread From: Alessandro Baretta @ 2002-07-20 20:03 UTC (permalink / raw) To: Ocaml Alessandro Baretta wrote: > > $ make clean > > rm -f afo.cmi ... > > $ ocamlfind ocamlc -package pxp -c utils.ml > > The compiled interfaces afo.cmi and afo.cmi > > make inconsistent assumptions over interface Afo > > We have here a schizoid compiler. Is it matter for informaticians or > psychiatrists? Informaticians, definitely. A misconfigured Makefile caused a .cmi file referring to module Afo to survive a make clean and not be scanned for dependencies. Anyhow, the error message I got was quite stunning, you'll agree. I'd call it at least a misfeature, and possibly a bug. The compiler should have told me "Compiled interfaces afo.cmi and foobar.cmi make inconsistent assumptions over interface Afo". Alex ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2002-07-20 19:56 UTC | newest] Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2002-07-20 19:56 [Caml-list] Compiler disagreeing with itself Alessandro Baretta 2002-07-20 20:03 ` Alessandro Baretta
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox