Mercury Bugs - mercury
View Issue Details
0000511mercuryBugpublic2020-06-19 18:222020-06-19 18:22
Assigned Tozs 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000511: missing warning with --warn-unused-imports
DescriptionThe versions of two compiler modules before the application of the attached diff
contain unused imports that the compiler

- warns about if --warn-unused-imports is NOT specified, but
- does NOT warn about if --warn-unused-imports IS specified,

which is the exact opposite of the expected behavior.

The reason for this inversion is that warn_unused_interface_import in
module_qual.qual_errors.m generates a less-informative error message
that it disables if --warn-unused-imports is specified, on the grounds that
the code in unused_imports.m, which implements --warn-unused-imports,
will generate a more informative error message for the same issue.
However, in these cases, unused_imports.m does not do so.
TagsNo tags attached.
Attached Files? DIFF.bug511 (1,268) 2020-06-19 18:22

There are no notes attached to this issue.

Issue History
2020-06-19 18:22zsNew Issue
2020-06-19 18:22zsStatusnew => assigned
2020-06-19 18:22zsAssigned To => zs
2020-06-19 18:22zsFile Added: DIFF.bug511