Mercury Bugs - mercury |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000576 | mercury | Bug | public | 2025-07-05 16:50 | 2025-07-05 19:54 |
|
| Reporter | juliensf | |
|---|
| Assigned To | zs | |
|---|
| Priority | normal | Severity | minor | Reproducibility | always |
|---|
| Status | resolved | Resolution | fixed | |
|---|
| Platform | | OS | | OS Version | |
|---|
| Product Version | | |
|---|
| Target Version | | Fixed in Version | | |
|---|
|
| Summary | 0000576: Abort in pre_typecheck |
|---|
| Description | Compiling the attached module causes the following abort:
Uncaught Mercury exception:
Software Error: function `check_hlds.pre_typecheck.arg_num_pieces'/2: Unexpected: ArgNum is not numbered correctly for return value |
|---|
| Tags | No tags attached. |
|---|
| Relationships | |
| Attached Files |  argnum_abort.m (1,369) 2025-07-05 16:50
https://bugs.mercurylang.org/file_download.php?file_id=332&type=bug |
|---|