From c7044148d9de0e55909aa92e5b67b9e39545be4d Mon Sep 17 00:00:00 2001 From: Julien Fischer Date: Sat, 28 Feb 2026 00:15:04 +1100 Subject: [PATCH] Fix incorrect obsolete pragma. library/getopt.m: library/getopt_io.m: Fix an incorrect replacement named in an obsolete pragma. NEWS.md: Fix incorrect arities in some entries. --- NEWS.md | 6 +++--- library/getopt.m | 2 +- library/getopt_io.m | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/NEWS.md b/NEWS.md index 5e25f87f3..02d807d24 100644 --- a/NEWS.md +++ b/NEWS.md @@ -374,12 +374,12 @@ Changes to the Mercury standard library * The following predicates have been added: - - pred `recognize_options/7` - - pred `recognize_all_options/7` + - pred `recognize_options/8` + - pred `recognize_all_options/8` * The following predicate has been marked obsolete: - - pred `record_arguments/7` (replacement: `getopt.recognize_options/7`) + - pred `record_arguments/8` (replacement: `getopt.recognize_options/8`) ### Changes to the `hash_table` module diff --git a/library/getopt.m b/library/getopt.m index 19411f4c4..fa0f9049e 100644 --- a/library/getopt.m +++ b/library/getopt.m @@ -683,7 +683,7 @@ list(string)::in, list(string)::out, list(string)::out, maybe_option_error(OptionType)::out, list(option_value(OptionType))::out) is det. -:- pragma obsolete(pred(record_arguments/8), [recognize_arguments/8]). +:- pragma obsolete(pred(record_arguments/8), [recognize_options/8]). %---------------------------------------------------------------------------% diff --git a/library/getopt_io.m b/library/getopt_io.m index 86081a6d0..11f277bdf 100644 --- a/library/getopt_io.m +++ b/library/getopt_io.m @@ -687,7 +687,7 @@ list(string)::in, list(string)::out, list(string)::out, maybe_option_error(OptionType)::out, list(option_value(OptionType))::out) is det. -:- pragma obsolete(pred(record_arguments/8), [recognize_arguments/8]). +:- pragma obsolete(pred(record_arguments/8), [recognize_options/8]). %---------------------------------------------------------------------------%