Mercury Bugs - mercury |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000111 | mercury | Bug | public | 2009-10-12 15:03 | 2009-10-12 15:03 |
|
| Reporter | colanderman | |
|---|
| Assigned To | | |
|---|
| Priority | normal | Severity | minor | Reproducibility | always |
|---|
| Status | new | Resolution | open | |
|---|
| Platform | | OS | | OS Version | |
|---|
| Product Version | | |
|---|
| Target Version | | Fixed in Version | | |
|---|
|
| Summary | 0000111: Throwing exception in tabled predicate causes table entry to remain active |
|---|
| Description | If 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 Information | Expected output of attached test should be "exn" printed twice. The second call however produces an infinite loop exception. |
|---|
| Tags | No tags attached. |
|---|
| Relationships | |
| Attached Files |  table_exn_test.m (503) 2009-10-12 15:03
https://bugs.mercurylang.org/file_download.php?file_id=83&type=bug |
|---|