Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000100mercuryBugpublic2009-06-26 16:222010-02-02 16:21
Reporterpetdr 
Assigned Tojuliensf 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000100: incorrect report that a module is unused
DescriptionIf 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.
TagsNo tags attached.
Relationships
Attached Filesbz2 interface_import_bug.tar.bz2 (407) 2009-06-26 16:22
https://bugs.mercurylang.org/file_download.php?file_id=77&type=bug

Notes
(0000177)
petdr   
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.
(0000249)
juliensf   
2010-02-02 16:21   
Fixed - see r1.176 of compiler/module_qual.m.

Issue History
Date ModifiedUsernameFieldChange
2009-06-26 16:22petdrNew Issue
2009-06-26 16:22petdrFile Added: interface_import_bug.tar.bz2
2009-06-26 16:25petdrNote Added: 0000177
2010-02-02 16:21juliensfNote Added: 0000249
2010-02-02 16:21juliensfStatusnew => resolved
2010-02-02 16:21juliensfResolutionopen => fixed
2010-02-02 16:21juliensfAssigned To => juliensf