[m-rev.] for review: fix mantis bug 46

[Julien Fischer]

On Tue, 19 Feb 2008, Zoltan Somogyi wrote:

> Fix Mantis bug #46, which was a compiler abort about a negative stack slot
> in the __Unify__ predicate of a notag type type wrapper around a dummy type.
>
> compiler/unify_proc.m:
> 	When creating unify and compare predicates for notag types, generate
> 	code that always considers the values to be equal if the type inside
> 	the notag wrapper is a dummy type.

That looks fine.
(When you commit it please be sure to mark the bug #46 as resolved in
mantis - and the same for bug #44 if that is appropriate.)

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