0000010: :- pragma source_file ignored for warnings about unused imports in the interface. - Mercury Bugs

2025-11-18 20:50 AEDT

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000010

mercury

Bug

public

2007-09-28 11:31

2015-11-29 16:08

Reporter

maclarty

Assigned To

juliensf

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000010: :- pragma source_file ignored for warnings about unused imports in the interface.

Description

A :- pragma source_file directive at the top of a mercury file is ignored for warnings about unused imports in the interface.

Additional Information

Compiling the attached file with:

mmc sc

gives:

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.

Tags

No tags attached.

Attached Files

sc.m (200 bytes) 2007-09-28 11:31

Relationships

Relationships

Notes
~0000007 juliensf (administrator) 2007-10-01 12:19	I don't think there is any point in dealing with this one until the parse tree is restructured.

~0000868 juliensf (administrator) 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.

Notes

Date Modified	Username	Field	Change
Issue History
2007-09-28 11:31	~~maclarty~~	New Issue
2007-09-28 11:31	~~maclarty~~	File Added: sc.m
2007-10-01 12:19	juliensf	Note Added: 0000007
2007-10-01 12:19	juliensf	Status	new => confirmed
2015-11-29 16:08	juliensf	Note Added: 0000868
2015-11-29 16:08	juliensf	Status	confirmed => resolved
2015-11-29 16:08	juliensf	Resolution	open => fixed
2015-11-29 16:08	juliensf	Assigned To	=> juliensf

Issue History