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

Simon Taylor staylr at gmail.com
Wed May 2 16:14:18 AEST 2007


On 01-May-2007, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
> 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.

I'll leave it as is, and change the log message to:

	library/bitmap.m:
		Uncomment the IL definition of the bitmap type to allow
		the interface files to be used by tests in grade `il'.

Simon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list