Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2002-07-20 (19:56)
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
>  > 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".


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: