Mercury Bugs - mercury
View Issue Details
0000362mercuryBugpublic2014-09-15 15:102014-09-16 11:10
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000362: Program cause compiler to abort in mmos grades (but not mmsc)
DescriptionThe attached program causes the following abort in the compiler when compiled with:

   $ mmc --grade asm_fast.gc.mmos

Uncaught Mercury exception:
Software Error: map.lookup: key not found
    Key Type: int
    Key Value: 0
    Value Type: hlds.hlds_pred.proc_info
Stack dump not available in this grade.

The program compiles and works correctly in the mmsc grades.
Additional InformationThe test program is similar, but not identical, to that of bug 0000360 and bug 0000361.
TagsNo tags attached.
Attached Files? bug362.m (860) 2014-09-15 15:10

2014-09-16 07:23   
That is not surprising. The mmos grades were never finished. They should not be used by anyone who is not in the process of finishing that implementation :-) They should not even be mentioned in any user-facing documentation.
2014-09-16 11:10   
I know they were never finished -- I was recording the test case for the benefit anyone who is working on them. To the test of my knowledge they are *not* mentioned in any user-facing documentation.

Issue History
2014-09-15 15:10juliensfNew Issue
2014-09-15 15:10juliensfFile Added: bug362.m
2014-09-16 07:23zsNote Added: 0000786
2014-09-16 11:10juliensfNote Added: 0000787