Mercury Bugs - mercury
View Issue Details
0000100mercuryBugpublic2009-06-26 16:222010-02-02 16:21
Assigned Tojuliensf 
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.
Attached Filesbz2 interface_import_bug.tar.bz2 (407) 2009-06-26 16:22

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.
2010-02-02 16:21   
Fixed - see r1.176 of compiler/module_qual.m.

Issue History
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