View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0000246 | mercury | Bug | public | 2011-12-11 17:40 | 2011-12-14 17:44 | ||||||||
Reporter | juliensf | ||||||||||||
Assigned To | zs | ||||||||||||
Priority | normal | Severity | major | Reproducibility | always | ||||||||
Status | assigned | Resolution | open | ||||||||||
Product Version | |||||||||||||
Target Version | Fixed in Version | ||||||||||||
Summary | 0000246: HLDS->MLDS code generator abort | ||||||||||||
Description | The 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 | ||||||||||||
Tags | No tags attached. | ||||||||||||
Attached Files |
|
Notes | |
zs (developer) 2011-12-14 17:44 |
Proposed workaround posted to mercury-developers on Dec 14. |