|
|
| Reporter | juliensf | |
|---|
| Assigned To | | |
|---|
| Priority | normal | Severity | minor | Reproducibility | always |
|---|
| Status | new | Resolution | open | |
|---|
| Product Version | | |
|---|
| Target Version | | Fixed in Version | | |
|---|
|
|
| Summary | 0000581: abort with Unexpected: SubDisjunctions0 != no |
|---|
| Description | Compiling the attach program with:
mmc --allow-stubs -C zinc_rt_driver.m
results in:
Uncaught Mercury exception:
Software Error: predicate `check_hlds.scout_disjunctions.scout_disjunctions_in_goal'/10: Unexpected: SubDisjunctions0 != no
Stack dump not available in this grade. |
|---|
| Steps To Reproduce | This is with rotd-2026-02-16, although presumably it dates to before then. |
|---|
| Tags | No tags attached. |
|---|
|
|
| Attached Files |
|
|---|
Relationships 
Relationships