View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0000510 | mercury | Bug | public | 2020-06-19 17:33 | 2020-06-19 17:33 | ||||||||
Reporter | zs | ||||||||||||
Assigned To | zs | ||||||||||||
Priority | normal | Severity | crash | Reproducibility | always | ||||||||
Status | assigned | Resolution | open | ||||||||||
Product Version | |||||||||||||
Target Version | Fixed in Version | ||||||||||||
Summary | 0000510: compiler crash due to missing type definition | ||||||||||||
Description | The valid/bug510 test case (which I added and committed just now) causes a compiler crash. It occurs when the compiler tries to look up the definition of the sparse_bitset type, but does not find it, due to it being hidden behind module abstraction barriers. | ||||||||||||
Tags | No tags attached. | ||||||||||||
Attached Files |
|