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

[Julien Fischer]

On Wed, 21 Feb 2007, Ondrej Bojar wrote:

> Julien Fischer wrote:
>>> +    trace [runtime(env("TRACE_ABC") and not(env("TRACE_NOT_ABC"))),
>> 
>> This particular usage makes me wonder whether instead of supporting
>> negation it might not be be better to extend the env runtime condition
>> to check the value of the environment variable, e.g. something like:
>> 
>>     trace [
>>         runtime(env_value("DEBUG", "yes"))
>>     ]
>
> Depends on your usage patterns. I leave that for future

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.

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