[m-rev.] diff: fix failure of hard_coded/copy_pred_2 on saturn in hlc.gc

[Julien Fischer]

On Wed, 17 Jan 2007, Zoltan Somogyi wrote:

> On 16-Jan-2007, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>>  mlds_output_type_prefix(mlds_native_float_type, !IO) :-
>> -    io.write_string("float", !IO).
>> +    io.write_string("MR_Float", !IO).
>
> Can MR_Float be boxed?

No, boxing of floats should have already been done by this point, in which
case the types in the MLDS should be mlds_generic_type rather than
native_float_type.

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