[mercury-users] Trace goals

[Nicholas Nethercote]

Hi,

I just learnt about trace goals.  They seem like a really useful feature. 
But I was also surprised how little the manual discussed their effect on 
semantics.  For example, can a trace goal appear in nondet code?  Are there 
any strange effects they might have?  Or does saying "they're like impure 
code marked with 'promise_pure'" mean that they "just work" due to the 
purity system?

Thanks.

Nick
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------