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 incorrect obsolete pragma.

Browse Source 
library/getopt.m:
library/getopt_io.m:
    Fix an incorrect replacement named in an obsolete pragma.

NEWS.md:
    Fix incorrect arities in some entries.
This commit is contained in:
Julien Fischer
2026-02-28 00:15:04 +11:00
parent 27fd3be973
commit c7044148d9
3 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
NEWS.md
View File

@@ -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

2
library/getopt.m
View File

@@ -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]).
%---------------------------------------------------------------------------%

2
library/getopt_io.m
View File

@@ -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]).
%---------------------------------------------------------------------------%