View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0000499 | mercury | Bug | public | 2020-04-06 13:08 | 2022-01-25 01:51 | ||||
Reporter | wangp | ||||||||
Assigned To | zs | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | resolved | Resolution | fixed | ||||||
Product Version | |||||||||
Target Version | Fixed in Version | ||||||||
Summary | 0000499: unqualified type encountered assertion | ||||||||
Description | The compiler crashes on the attached (erroneous) source file: % mmc --make-interface bug Uncaught Mercury exception: Software Error: predicate `parse_tree.comp_unit_interface.accumulate_modules_used_by_type_ctor'/3: Unexpected: unqualified type encountered | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
Notes | |
zs (developer) 2022-01-25 01:51 |
An immediate fix was committed 2020 april 8. The underlying problem, ignoring errors by default when making .intN files, has been sortof-solved by making --halt-at-invalid-interface the default, with the immediate fix from 2020 preventing a compiler crash if it is ever explicitly switched off. |
Issue History | |||
Date Modified | Username | Field | Change |
---|---|---|---|
2020-04-06 13:08 | wangp | New Issue | |
2020-04-06 13:08 | wangp | File Added: bug.m | |
2020-04-06 14:19 | zs | Assigned To | => zs |
2020-04-06 14:19 | zs | Status | new => assigned |
2022-01-25 01:51 | zs | Status | assigned => resolved |
2022-01-25 01:51 | zs | Resolution | open => fixed |
2022-01-25 01:51 | zs | Note Added: 0001161 |