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

[Jonathan Morgan]

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.
2. One of the foreign procedures (a setter) has invalid characters for
a C# method name (:= and a space).  I'm in the process of changing the
name mangling procedure to handle this.

After that it will need testing and so forth.

Jon
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------