Mercury Bugs - mercury
View Issue Details
0000010mercuryBugpublic2007-09-28 11:312015-11-29 16:08
Assigned Tojuliensf 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000010: :- pragma source_file ignored for warnings about unused imports in the interface.
DescriptionA :- pragma source_file directive at the top of a mercury file is ignored for warnings about unused imports in the interface.

Additional InformationCompiling the attached file with:

mmc sc


sc.m:001: In module `sc':
sc.m:001: warning: module `list' is imported in the interface, but is not
sc.m:001: used in the interface.
x:013: In clause for predicate `main'/2:
x:013: error: undefined predicate `foo'/2.

The warning has the wrong context.
TagsNo tags attached.
Attached Files? sc.m (200) 2007-09-28 11:31

2007-10-01 12:19   
I don't think there is any point in dealing with this one until the
parse tree is restructured.
2015-11-29 16:08   
Fixed, although I'm not sure when, presumably as part of the parse tree restructure.
Regression test has been added.

Issue History
2007-09-28 11:31maclartyNew Issue
2007-09-28 11:31maclartyFile Added: sc.m
2007-10-01 12:19juliensfNote Added: 0000007
2007-10-01 12:19juliensfStatusnew => confirmed
2015-11-29 16:08juliensfNote Added: 0000868
2015-11-29 16:08juliensfStatusconfirmed => resolved
2015-11-29 16:08juliensfResolutionopen => fixed
2015-11-29 16:08juliensfAssigned To => juliensf