<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2002/07/e9a1e7f0bde81a5a9d9e04641327a0b7"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-20T19:56:33"
  subject="Re: [Caml-list] Compiler disagreeing with itself"
  prev="2002/07/88879fbf18a9124b2bfb027a299f557a"
  next="2002/07/82e9eedb518a1b06dbd968154ac21e67"
  prev-in-thread="2002/07/88879fbf18a9124b2bfb027a299f557a"
  prev-thread="2002/07/baaa01d7b8a97fafc2d4150df5a3a6fd"
  next-thread="2002/07/2544168ba79f18435d614d349795605d"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] Compiler disagreeing with itself">
<msg 
  url="2002/07/88879fbf18a9124b2bfb027a299f557a"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-20T19:49:22"
  subject="[Caml-list] Compiler disagreeing with itself">
<msg 
  url="2002/07/e9a1e7f0bde81a5a9d9e04641327a0b7"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-20T19:56:33"
  subject="Re: [Caml-list] Compiler disagreeing with itself">
</msg>
</msg>
</thread>

<contents>
Alessandro Baretta wrote:
&gt;  &gt; $ make clean
&gt;  &gt;  rm -f afo.cmi ...
&gt;  &gt; $ ocamlfind ocamlc -package pxp -c utils.ml
&gt;  &gt; The compiled interfaces afo.cmi and afo.cmi
&gt;  &gt; make inconsistent assumptions over interface Afo
&gt; 
&gt; We have here a schizoid compiler. Is it matter for informaticians or 
&gt; 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

</contents>

</message>

