mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Fix too-long lines.

Browse Source
This commit is contained in:
Zoltan Somogyi
2026-03-01 16:00:56 +11:00
parent 5d804166da
commit c174ccfdb6
2 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
compiler/unused_args_analysis.m
View File

@@ -87,7 +87,8 @@
%---------------------------------------------------------------------------%
record_analysis_unused_args(ProcToUnusedArgsMap, FixpointPredProcIds, !ModuleInfo) :-
record_analysis_unused_args(ProcToUnusedArgsMap, FixpointPredProcIds,
!ModuleInfo) :-
module_info_get_analysis_info(!.ModuleInfo, AnalysisInfo0),
module_info_get_valid_pred_ids(!.ModuleInfo, PredIds),
list.foldl(

6
compiler/unused_args_warn_pragma.m
View File

@@ -468,11 +468,13 @@ report_unused_args(NameColonNlPieces, Context, ProcUnusedArgs, !Specs) :-
(
TailUnmarkedArgs = [],
Pieces2 = [words("argument")] ++ UnmarkedArgPieces ++
[words("is")] ++ color_as_incorrect([words("unused.")]) ++ [nl]
[words("is")] ++ color_as_incorrect([words("unused.")]) ++
[nl]
;
TailUnmarkedArgs = [_ | _],
Pieces2 = [words("arguments")] ++ UnmarkedArgPieces ++
[words("are")] ++ color_as_incorrect([words("unused.")]) ++ [nl]
[words("are")] ++ color_as_incorrect([words("unused.")]) ++
[nl]
),
Addendum = marked_unused_args_addendum(MarkedArgs),
Spec = spec($pred, severity_warning(warn_requested_by_option),