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

[Julien Fischer]

On Fri, 10 Nov 2006, Ralph Becket wrote:

> Julien Fischer, Friday, 10 November 2006:
>>
>> On Fri, 10 Nov 2006, Ralph Becket wrote:
>>
>>> Hmm.  I would certainly want a warning if code containing a trace goal
>>> was optimized away.
>>
>> Why?
>
> I'd be expecting to see the output from the trace goal, but would not.

You would be expecting to see the output from the trace if the goal
containing the trace had been optimized away?  How does that even
make sense with optimization like dead code elimination?

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