[m-rev.] for review: trace goals being optimised away

[Zoltan Somogyi]

On 26-Jul-2010, Peter Wang <novalazy at gmail.com> wrote:
> -        ( Purity = purity_pure ; Purity = purity_semipure ),
> +        ( Purity = purity_pure
> +        ; Purity = purity_semipure
> +        ),
> +        goal_contains_trace(Goal0, _, contains_no_trace_goal),

The rest of the diff looks good, but this call to goal_contains_trace
may lead to substantially worse than linear complexity.

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