Mercury Bugs - mercury | |||||
| View Issue Details | |||||
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000237 | mercury | Bug | public | 2011-11-28 12:30 | 2011-11-28 16:56 |
| Reporter | colanderman | ||||
|---|---|---|---|---|---|
| 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 | 0000237: Strange interaction b/w typeclasses and promise_equivalent_solutions | ||||
| Description | promise_equivalent_solutions doesn't seem to play well with typeclasses. The attached example, when, compiled, complains that: unif_bug2.m:016: Error: the `promise_equivalent_solutions' goal binds a unif_bug2.m:016: variable that is not listed: PolyConst1. This is not in a context where the typeclass implementations are not deducible at compile time (i.e. there are no existential types). | ||||
| Tags | No tags attached. | ||||
| Relationships | |||||
| Attached Files |  unif_bug2.m (376) 2011-11-28 12:30https://bugs.mercurylang.org/file_download.php?file_id=140&type=bug | ||||
| Notes | |||||
|
|
|||||
|
|
||||
| Issue History | |||||
| Date Modified | Username | Field | Change | ||
|---|---|---|---|---|---|
| 2011-11-28 12:30 | colanderman | New Issue | |||
| 2011-11-28 12:30 | colanderman | File Added: unif_bug2.m | |||
| 2011-11-28 13:55 | zs | Status | new => assigned | ||
| 2011-11-28 13:55 | zs | Assigned To | => zs | ||
| 2011-11-28 16:56 | zs | Note Added: 0000415 | |||
| 2011-11-28 16:56 | zs | Status | assigned => resolved | ||
| 2011-11-28 16:56 | zs | Resolution | open => fixed | ||