[m-rev.] for review: negation in trace goals conditions

[Ondrej Bojar]

Julien Fischer wrote:
> I wasn't suggesting that you implement it; I was just wondering if
> the addition of `not' to trace goal conditions was just bandaid solution 
> to the problem of the conditions not being flexible enough.

To be generic enough, you'd need:

   trace [runtime(mytest)] mygoal,

or

   trace [runtime(test(mytest))] mygoal,

where

:- pred mytest(bool::out, io::di, io::uo) is det.

...which is probably also quite simple to hack, but I do not know enough about 
  generating predicate calls.

O.

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