rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix assoc.pl file

Browse Source
This commit is contained in:
Adrián Arroyo Calle
2023-01-19 21:18:40 +01:00
parent 46d1e3bee3
commit f072761150
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/lib/assoc.pl
View File

@@ -172,7 +172,7 @@ gen_assoc_(Key, t(_,_,_,_,R), Val) :-
% %
% True if Key-Value is an association in Assoc. % True if Key-Value is an association in Assoc.
% %
% Throws error: type\_error(assoc, Assoc) if Assoc is not an association list. % Throws error: `type_error(assoc, Assoc)` if Assoc is not an association list.
get_assoc(Key, Assoc, Val) :- get_assoc(Key, Assoc, Val) :-
must_be(assoc, Assoc), must_be(assoc, Assoc),
@@ -218,7 +218,7 @@ get_assoc(>, Key, V, L, R, Val, V, L, NR, NVal) :-
% Create an association from a list Pairs of Key-Value pairs. List % Create an association from a list Pairs of Key-Value pairs. List
% must not contain duplicate keys. % must not contain duplicate keys.
% %
% Throws error: domain\_error(unique\_key\_pairs, List) if List contains duplicate keys % Throws error: `domain_error(unique_key_pairs, List)` if List contains duplicate keys
list_to_assoc(List, Assoc) :- list_to_assoc(List, Assoc) :-
( List = [] -> Assoc = t ( List = [] -> Assoc = t
@@ -249,7 +249,7 @@ list_to_assoc(N, List, More, Depth, t(K,V,Balance,L,R)) :-
% pairs. The pairs must occur in strictly ascending order of % pairs. The pairs must occur in strictly ascending order of
% their keys. % their keys.
% %
% Throws error: domain\_error(key\_ordered\_pairs, List) if pairs are not ordered. % Throws error: `domain_error(key_ordered_pairs, List)` if pairs are not ordered.
ord_list_to_assoc(Sorted, Assoc) :- ord_list_to_assoc(Sorted, Assoc) :-
( Sorted = [] -> Assoc = t ( Sorted = [] -> Assoc = t