[m-rev.] for review: fix missing foreign type errors

[Julien Fischer]

On Tue, 1 May 2007, Jonathan Morgan wrote:

> On 5/1/07, Simon Taylor <staylr at gmail.com> wrote:
>> library/bitmap.m:
>>         Uncomment the IL definition of the bitmap type to allow
>>         this module to compile (but not work) in IL grades.
>
> I have been working on this as well.  There are a couple of problems
> that I encountered:
>
> 1. There are warnings that bitmap.unify and bitmap.compare cannot be
> proven to terminate.  As the library is built with --halt-at-warn,
> this breaks the build.

You also need to build this module with --no-warn-non-term-special-preds,
or just put terminates pragmas on the equality and comparison predicates.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------