Mercury Bugs - mercury
View Issue Details
0000111mercuryBugpublic2009-10-12 15:032009-10-12 15:03
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000111: Throwing exception in tabled predicate causes table entry to remain active
DescriptionIf a memoized function or predicate throws an exception, then the call remains "active" in the memo table, and subsequent calls trigger a spurious loop check exception.
Additional InformationExpected output of attached test should be "exn" printed twice. The second call however produces an infinite loop exception.
TagsNo tags attached.
Attached Files? table_exn_test.m (503) 2009-10-12 15:03

There are no notes attached to this issue.

Issue History
2009-10-12 15:03colandermanNew Issue
2009-10-12 15:03colandermanFile Added: table_exn_test.m