mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-13 12:53:53 +00:00
Note an opportunity for improvement.
This commit is contained in:
@@ -352,6 +352,9 @@ report_invalid_user_inst(_SymName, _Insts, ErrorContext, !Specs) :-
|
||||
|
||||
warn_unused_interface_import(ParentModuleName,
|
||||
ImportedModuleName - ImportContexts, !Specs) :-
|
||||
UNUSED_IMPORT Harmonize the operation of this predicate with
|
||||
% the operation of maybe_generate_redundant_avail_warnings
|
||||
% in unused_imports.m.
|
||||
ImportContexts = one_or_more(HeadContext, TailContexts),
|
||||
HeadPieces =
|
||||
[words("In module"), qual_sym_name(ParentModuleName), suffix(":"), nl,
|
||||
|
||||
@@ -216,6 +216,9 @@ compare_avails(AvailA, AvailB, Result) :-
|
||||
maybe_generate_redundant_avail_warnings(_ModuleName, [], _, !Specs).
|
||||
maybe_generate_redundant_avail_warnings(ModuleName, [Avail | Avails],
|
||||
!.PrevAvails, !Specs) :-
|
||||
% XXX UNUSED_IMPORT Harmonize the operation of this predicate with
|
||||
% the operation of warn_unused_interface_import
|
||||
% in module_qual.qual_errors.m.
|
||||
list.foldl(add_msg_if_avail_as_general(ModuleName, Avail), !.PrevAvails,
|
||||
[], PrevMsgs),
|
||||
(
|
||||
|
||||
Reference in New Issue
Block a user