[m-rev.] for review: fix regression after cons_id type_ctor field

Peter Wang novalazy at gmail.com
Wed Aug 18 10:59:09 AEST 2010


On 2010-08-12, Peter Wang <novalazy at gmail.com> wrote:
> For review by Zoltan.
> 
> Branches: main, 10.04
> 
> Fix a regression introduced on 2009-06-11 in the change
> "Include the type_ctor in cons_ids for user-defined types."
> 
> The symptom was an abort in the low-level C code generator when compiling
> a call to an implied mode, where the implied argument is of a no-tag type.
> The bug below messed up the liveness computation.
> 
> compiler/mode_util.m:
>         Use `equivalent_cons_ids' to compare a cons_id-for-a-type with a
>         cons_id-for-an-inst as the latter may have a dummy type_ctor field.
> 
> tests/valid/Mmakefile:
> tests/valid/implied_mode_no_tag.m:
>         Add test case.

Committed.

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



More information about the reviews mailing list