|
|
| Reporter | juliensf | |
|---|
| Assigned To | zs | |
|---|
| Priority | normal | Severity | minor | Reproducibility | have not tried |
|---|
| Status | resolved | Resolution | fixed | |
|---|
| Product Version | | |
|---|
| Target Version | | Fixed in Version | | |
|---|
|
|
| Summary | 0000545: Data constructor named "event" results in invalid optimisation interface |
|---|
| Description | The attached program has been extracted from <https://github.com/dzyr/mercury-xml>.
It illustrates a problem where a type has a data constructor named event, which becomes
the subject of a direct_arg clause in the optimisation interface. This causes a syntax error
when reading in xml_read.opt because event is not escaped using parentheses.
|
|---|
| Steps To Reproduce | mmc --intermod-opt --make use_xml_read |
|---|
| Tags | No tags attached. |
|---|
|
|
| Attached Files |
|
|---|
Relationships 
Relationships