Mercury Bugs - mercury
View Issue Details
0000186mercuryBugpublic2011-02-22 17:502011-02-22 17:58
Assigned To 
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
TagsNo tags attached.
Attached Files? bug186a.m (1,427) 2011-02-22 17:50
? bug186b.m (1,116) 2011-02-22 17:56

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