2024-04-19 00:54 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000246mercuryBugpublic2011-12-14 17:44
Reporterjuliensf 
Assigned Tozs 
PrioritynormalSeveritymajorReproducibilityalways
StatusassignedResolutionopen 
Product Version 
Target VersionFixed in Version 
Summary0000246: HLDS->MLDS code generator abort
DescriptionThe attached program causes the HLDS->MLDS code generator to abort with the following:

Uncaught Mercury exception:
Software Error: map.lookup: key not found
        Key Type: term.var(parse_tree.prog_data.prog_var_type)
        Key Value: var(52)
        Value Type: ml_backend.ml_gen_info.ml_ground_term
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0000443

zs (developer)

Proposed workaround posted to mercury-developers on Dec 14.
+Notes

-Issue History
Date Modified Username Field Change
2011-12-11 17:40 juliensf New Issue
2011-12-11 17:40 juliensf File Added: gvs-bug.tar.gz
2011-12-12 16:42 zs Status new => assigned
2011-12-12 16:42 zs Assigned To => zs
2011-12-14 17:44 zs Note Added: 0000443
+Issue History