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

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Feb 21 17:45:47 AEDT 2007


On Wed, 21 Feb 2007, Ondrej Bojar wrote:

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

Where is mytest getting its I/O state from?

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

You can already do something equivalent to the above.

 	trace [io(!IO)] (
 		mytest(RunGoal, !IO),
 		(
 			RunGoal = yes,
 			mygoal,
 		;
 			RunGoal = no
 		)
 	).

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



More information about the reviews mailing list