[m-rev.] diff: reset contains_trace_goal if necessary

[Ralph Becket]

Ian MacLarty, Wednesday,  8 November 2006:
> 
> I think you should remove the feature that prevents code containing
> trace goals from being optimised away.  If I add a trace goal then I
> only want to see the effects of the trace goal if the conjunct it
> appears is run under normal circumstances and I definitely don't want
> the behaviour of my program to change, besides the extra output
> generated by the trace goals.

I'm in agreement with Ian here.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------