| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000100 | mercury | Bug | public | 2009-06-26 16:22 | 2010-02-02 16:21 | ||||
| Reporter | petdr | ||||||||
| Assigned To | juliensf | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | resolved | Resolution | fixed | ||||||
| Product Version | |||||||||
| Target Version | Fixed in Version | ||||||||
| Summary | 0000100: incorrect report that a module is unused | ||||||||
| Description | If you have a typeclass :- typeclass tc(T) <= tc2(T) where [...]. :- instance tc(unit). Then the system needs to prove that tc2(unit) holds as well. If you import a module which holds that fact and that is all the module is used for then the system incorrectly reports that module is unused. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
2009-06-26 16:25 |
I can fix this bug if someone can tell me where to find that we've used the instance tc2(unit) coming from an import. |
|
juliensf (administrator) 2010-02-02 16:21 |
Fixed - see r1.176 of compiler/module_qual.m. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2009-06-26 16:22 |
|
New Issue | |
| 2009-06-26 16:22 |
|
File Added: interface_import_bug.tar.bz2 | |
| 2009-06-26 16:25 |
|
Note Added: 0000177 | |
| 2010-02-02 16:21 | juliensf | Note Added: 0000249 | |
| 2010-02-02 16:21 | juliensf | Status | new => resolved |
| 2010-02-02 16:21 | juliensf | Resolution | open => fixed |
| 2010-02-02 16:21 | juliensf | Assigned To | => juliensf |
| Issue History |