Mercury Bugs - mercury
View Issue Details
0000246mercuryBugpublic2011-12-11 17:402011-12-14 17:44
Reporterjuliensf 
Assigned Tozs 
PrioritynormalSeveritymajorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
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 Filesgz gvs-bug.tar.gz (1,427) 2011-12-11 17:40
https://bugs.mercurylang.org/file_download.php?file_id=147&type=bug

Notes
(0000443)
zs   
2011-12-14 17:44   
Proposed workaround posted to mercury-developers on Dec 14.

Issue History
2011-12-11 17:40juliensfNew Issue
2011-12-11 17:40juliensfFile Added: gvs-bug.tar.gz
2011-12-12 16:42zsStatusnew => assigned
2011-12-12 16:42zsAssigned To => zs
2011-12-14 17:44zsNote Added: 0000443