2024-04-24 04:08 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000186mercuryBugpublic2011-02-22 17:58
Assigned To 
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




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.

-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