Mercury Bugs - mercury | |||||
View Issue Details | |||||
ID | Project | Category | View Status | Date Submitted | Last Update |
0000571 | mercury | Feature Request | public | 2024-02-09 15:29 | 2024-02-09 15:29 |
Reporter | juliensf | ||||
---|---|---|---|---|---|
Assigned To | |||||
Priority | normal | Severity | minor | Reproducibility | have not tried |
Status | new | Resolution | open | ||
Platform | OS | OS Version | |||
Product Version | |||||
Target Version | Fixed in Version | ||||
Summary | 0000571: Improve unsatisfiable typeclass constraint errors | ||||
Description | The attached program generates the following error messages: unsat_error.m:015: In clause for predicate `create_schedule'/3: unsat_error.m:015: unsatisfiable typeclass constraint: unsat_error.m:015: `unsat_error.logger(L)'. For cases like this it would better if we could provide the user some indication of the cause of this constraint being unsatisfiable, namely that the there is no constraint on the type variable Logger in the predicate declaration. | ||||
Tags | No tags attached. | ||||
Relationships | |||||
Attached Files | unsat_error.m (314) 2024-02-09 15:29 https://bugs.mercurylang.org/file_download.php?file_id=328&type=bug |
There are no notes attached to this issue. |
Issue History | |||||
Date Modified | Username | Field | Change | ||
---|---|---|---|---|---|
2024-02-09 15:29 | juliensf | New Issue | |||
2024-02-09 15:29 | juliensf | File Added: unsat_error.m |