Mercury Bugs - mercury |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000241 | mercury | Bug | public | 2011-12-03 06:01 | 2011-12-04 00:36 |
|
| Reporter | colanderman | |
|---|
| Assigned To | juliensf | |
|---|
| Priority | normal | Severity | trivial | Reproducibility | always |
|---|
| Status | resolved | Resolution | fixed | |
|---|
| Platform | | OS | | OS Version | |
|---|
| Product Version | | |
|---|
| Target Version | | Fixed in Version | | |
|---|
|
| Summary | 0000241: require_semidet doesn't parse |
|---|
| Description | A typo in compiler/prog_io_goal.m (grep for "require_semi") prevents require_semidet from parsing. See attached test case. |
|---|
| Additional Information | library/ops.m does not have the typo. |
|---|
| Tags | No tags attached. |
|---|
| Relationships | |
| Attached Files |  require_bug.m (276) 2011-12-03 06:01
https://bugs.mercurylang.org/file_download.php?file_id=145&type=bug |
|---|