2024-03-29 03:47 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000362mercuryBugpublic2014-09-16 11:10
Reporterjuliensf 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
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

-Relationships
+Relationships

-Notes

~0000786

zs (developer)

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.

~0000787

juliensf (administrator)

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.
+Notes

-Issue History
Date Modified Username Field Change
2014-09-15 15:10 juliensf New Issue
2014-09-15 15:10 juliensf File Added: bug362.m
2014-09-16 07:23 zs Note Added: 0000786
2014-09-16 11:10 juliensf Note Added: 0000787
+Issue History