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] Proposal for separate compilation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-05-21 (18:11)
From: Richard Jones <rich@a...>
Subject: Re: [Caml-list] Proposal for separate compilation
On Fri, May 21, 2004 at 06:32:23PM +0200, Alain Frisch wrote:
> You no longer get an error message:
> « Files b.cmo and a.cmo make inconsistent assumptions over interface A »

I don't really understand the intricacies of your proposal, but I do
have a small suggestion.  Can the error messages be made more

For example, at the moment one of my colleagues is having lots of
problems building our Merjis test environment on his machine (as is
often the case, sadly ...).  The problems manifest themselves as
the Dynlink error message:

interface mismatch on <module>

This is quite an annoying error message because it doesn't tell you
what module is loading what other module and where it's finding them.
A better message would be:

interface mismatch:
  expected to find <module> with hash <0123456789abcdef>
  but found instead <module> in /usr/lib/ocaml/3.07/foo/bar.cma with
    hash <fedcba9876543210>

This would help greatly with tracking down these problems.


Richard Jones.
Merjis Ltd. - improving website return on investment
If I have not seen as far as others, it is because I have been
standing in the footprints of giants.  -- from Usenet

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