[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