[mercury-users] Minimal model tabling and exceptions

[Peter Hawkins]

Hi...

There's currently no documentation on how exceptions and minimal model 
tabling
interact. What happens if I throw an exception from the middle of a goal 
that is using minimal model tabling, catch it, and later rerun a similar 
goal? Will bad things happen?

Cheers,
Peter
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------