Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Compiler disagreeing with itself
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alessandro Baretta <alex@b...>
Subject: Re: [Caml-list] Compiler disagreeing with itself
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