[m-rev.] for review: representing goal paths using cords

[Julien Fischer]

On Mon, 12 Nov 2007, Zoltan Somogyi wrote:

> Change the representation of goal paths to use cords of steps instead
> of lists of steps. With the list of steps representation, we always
> had to worry about whether the list was reversed or not, since the
> usual operations on goal paths operate mostly on the last step, not
> the first. With cords, this concern disappears.
>
> mdbcomp/program_representation.m:
> 	Make the change mentioned above.
>
> 	Standardize some utility operations on goal paths, now that the
> 	reversed/unreversed distinction is gone.
>
> 	Add some new utility operations.
>
> library/cord.m:
> 	Add operations to get the first and last elements of a cord,
> 	to split the last element from a cord, and to test whether a cord
> 	is empty.

Mention the additions to the cord module in the NEWS file.

> browser/*.m:
> compiler/*.m:
> mdbcomp/*.m:
> slice/*.m:
> 	Conform to the change to program_representation.m.
>
> compiler/unneeded_code.m:
> 	Add some debugging infrastructure I used to track down a bug I
> 	accidentally inserted while making this module use cords.
>
> compiler/options.m:
> 	Add the options controlling the infrastructure in unneeded_code.m.

The rest of that looks okay.

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