[mercury-users] Trace goals

Nicholas Nethercote njn at csse.unimelb.edu.au
Thu Sep 28 04:39:07 AEST 2006


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?


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

More information about the users mailing list