Mercury Bugs - mercury
View Issue Details
0000186mercuryBugpublic2011-02-22 17:502011-02-22 17:58
Reporterjuliensf 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
PlatformOSOS Version
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? bug186a.m (1,427) 2011-02-22 17:50
https://bugs.mercurylang.org/file_download.php?file_id=111&type=bug
? bug186b.m (1,116) 2011-02-22 17:56
https://bugs.mercurylang.org/file_download.php?file_id=112&type=bug

Notes
(0000314)
juliensf   
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.

Issue History
2011-02-22 17:50juliensfNew Issue
2011-02-22 17:50juliensfFile Added: bug186a.m
2011-02-22 17:56juliensfFile Added: bug186b.m
2011-02-22 17:58juliensfNote Added: 0000314