Mercury Bugs - mercury | |||||
| View Issue Details | |||||
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000035 | mercury | Bug | public | 2008-01-08 14:38 | 2009-08-19 12:57 |
| Reporter | petdr | ||||
|---|---|---|---|---|---|
| Assigned To | wangp | ||||
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | closed | Resolution | fixed | ||
| Platform | OS | OS Version | |||
| Product Version | |||||
| Target Version | Fixed in Version | ||||
| Summary | 0000035: unsatisfied typeclass constraints error message mentions *satisfied* constraints | ||||
| Description | The attached program gives the following error % missing_constraints.m:030: In clause for type class method implementation: % missing_constraints.m:030: unsatisfiable typeclass constraints: % missing_constraints.m:030: `missing_constraints.t1(int)' and % missing_constraints.m:030: `missing_constraints.t2(int)'. but the typeclass constraint t1(int) exists, only t2(int) is missing. Working out which constraint is missing when the list contains a lot of constraints in time consuming and thus I think the compiler should only report those constraints which are needed. | ||||
| Tags | No tags attached. | ||||
| Relationships | |||||
| Attached Files |  missing_constraints.m (736) 2008-01-08 14:38https://bugs.mercurylang.org/file_download.php?file_id=31&type=bug | ||||
| Notes | |||||
|
|
|||||
|
|
||||
| Issue History | |||||
| Date Modified | Username | Field | Change | ||
|---|---|---|---|---|---|
| 2008-01-08 14:38 | New Issue | ||||
| 2008-01-08 14:38 | File Added: missing_constraints.m | ||||
| 2009-08-18 11:56 | Status | new => assigned | |||
| 2009-08-18 11:56 | Assigned To | => wangp | |||
| 2009-08-19 12:57 | wangp | Note Added: 0000182 | |||
| 2009-08-19 12:57 | wangp | Status | assigned => closed | ||
| 2009-08-19 12:57 | wangp | Resolution | open => fixed | ||