* [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;
as well as URLs for NNTP newsgroup(s).