[m-rev.] diff: making DU types of hlds_goal, instruction, item_and_context, etc

[Peter Ross]

On 1/6/07, Zoltan Somogyi <zs at csse.unimelb.edu.au> wrote:
> I only made one algorithmic change (at least intentionally).
> In assertion.m, comparing two goals for equality now ignores goal_infos
> for all kinds of goals, whereas previously it ignored them for most kinds
> of goals, but for shorthand goals it was insisting on them being equal.
> This seemed to me to be a bug. Pete, can you confirm this?

You are correct, it was a bug.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------