| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 0000186 | mercury | Bug | public | 2011-02-22 17:50 | 2011-02-22 17:58 | ||||||||
| Reporter | juliensf | ||||||||||||
| Assigned To | |||||||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||||||
| Status | new | Resolution | open | ||||||||||
| Product Version | |||||||||||||
| Target Version | Fixed in Version | ||||||||||||
| Summary | 0000186: abort when --infer-all is enabled | ||||||||||||
| Description | The attached program aborts with Uncaught Mercury exception: Software Error: unique_modes.m: Unexpected: call to implied mode? when compiled with mmc --infer-all. This was originally reported on mercury-users, see <http://www.mercury.csse.unimelb.edu.au/mailing-lists/mercury-users/mercury-users.201102/0004.html> | ||||||||||||
| Tags | No tags attached. | ||||||||||||
| Attached Files | |||||||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
juliensf (administrator) 2011-02-22 17:58 |
The second test case results in a different exception being thrown: Uncaught Mercury exception: Software Error: modes.m: Unexpected: modecheck_queued_proc: found detism error For both instances the error occurs when checking for backtracking over uniques modes. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2011-02-22 17:50 | juliensf | New Issue | |
| 2011-02-22 17:50 | juliensf | File Added: bug186a.m | |
| 2011-02-22 17:56 | juliensf | File Added: bug186b.m | |
| 2011-02-22 17:58 | juliensf | Note Added: 0000314 | |
| Issue History |