2024-03-29 09:46 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000186mercuryBugpublic2011-02-22 17:58
Reporterjuliensf 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
Product Version 
Target VersionFixed in Version 
Summary0000186: abort when --infer-all is enabled
DescriptionThe 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>
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0000314

juliensf (administrator)

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