[m-rev.] for review: fix two_way_unif

[Peter Wang]

On 2008-06-02, Zoltan Somogyi <zs at csse.unimelb.edu.au> wrote:
> This is for review by Peter Wang, since it relates to a change he made
> during the summer.
> 
> Zoltan.
> 
> Fix the failure of the valid/two_way_unif test case, which used to get a code
> generator abort. The root cause of the abort was a mismatch between two
> meanings of the option --static-ground-terms. The code in exprn_aux.m
> was using it to govern whether an unboxed float was considered to be
> a constant or not, whereas code_info.m and var_locn.m assumed that
> *all* function symbols of arity 0, including floats, are always constants.

Looks good. Thanks for that.

Peter

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