[m-rev.] Re: Changes to goal_path representation.
Paul Bone
pbone at csse.unimelb.edu.au
Mon Sep 1 22:42:56 AEST 2008
On Mon, Sep 01, 2008 at 10:41:21PM +1000, Paul Bone wrote:
>
> For review by anyone,
>
> Please let me know if you think the names for the new goal_rep
> predicates in program_representation.m are okay.
>
> I've bootchecked in asm_fast.gc and asm_fast.gc.decldebug, and
> asm_fast.gc.rbmm is running at the moment.
>
> Estimated time taken: 3
> Branches: main
>
> Store goal paths as a reverse-sorted list rather than a cord. This ensures
> they are safe for use as keys in maps since their semantic and structual
> representations are the same. Goal paths are now an abstract type, make it
> easy to change their representation in the future.
>
I've fixed the spelling of structural already.
--------------------------------------------------------------------------
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