[m-rev.] diff: fix for mantis bug 134

[Julien Fischer]

On Wed, 3 Mar 2010, Zoltan Somogyi wrote:

> I am bootchecking it at the moment, but the fix is straightforward.
> I will also add bug134.m as a test case.
>
> Fix Mantis bug #134.
>
> compiler/ml_disj_gen.m:
> 	If the options specify --no-static-ground-terms, do not try to
> 	generate lookup tables for disjunctions; the trying would lead
> 	to a compiler abort (bug 134), and we cannot generate the table
> 	anyway.

Thanks Zoltan!

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