| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000011 | mercury | Bug | public | 2007-09-28 13:14 | 2007-10-22 15:18 | ||||
| Reporter | anonymous | ||||||||
| Assigned To | juliensf | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | resolved | Resolution | fixed | ||||||
| Product Version | |||||||||
| Target Version | Fixed in Version | ||||||||
| Summary | 0000011: instance declarations for unknown types accepted in interface | ||||||||
| Description | The compiler accepts instance declarations in the interface of a module on types which don't appear in the interface, if the type is later defined in the module. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
juliensf (administrator) 2007-09-28 14:06 |
Yes, it's a bug. I'm not sure how serious this is since all instance declarations are in some sense global anyway. Still, it would be nice to make it report something here. |
|
juliensf (administrator) 2007-10-22 15:18 |
Fixed. See log message of r1.115 of compiler/check_typeclass.m for details. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2007-09-28 13:14 | anonymous | New Issue | |
| 2007-09-28 13:14 | anonymous | File Added: instance_no_type.m | |
| 2007-09-28 14:06 | juliensf | Note Added: 0000006 | |
| 2007-09-28 14:22 | juliensf | Assigned To | => juliensf |
| 2007-09-28 14:22 | juliensf | Status | new => assigned |
| 2007-10-22 15:18 | juliensf | Status | assigned => resolved |
| 2007-10-22 15:18 | juliensf | Resolution | open => fixed |
| 2007-10-22 15:18 | juliensf | Note Added: 0000039 | |
| Issue History |