[m-rev.] diff: docs for argument reordering of singleton_set

[Peter Wang]

Branches: main

Update documentation for swapped arguments of `singleton_set/2' predicates.

library/set.m:
library/set_ordlist.m:
library/set_unordlist.m:
	As above.

diff --git a/library/set.m b/library/set.m
index 19baf46..b4100b1 100644
--- a/library/set.m
+++ b/library/set.m
@@ -61,7 +61,7 @@
 :- pred set.to_sorted_list(set(T)::in, list(T)::out) is det.
 :- func set.to_sorted_list(set(T)) = list(T).
 
-    % `set.singleton_set(Set, Elem)' is true iff `Set' is the set
+    % `set.singleton_set(Elem, Set)' is true iff `Set' is the set
     % containing just the single element `Elem'.
     %
 :- pred set.singleton_set(T, set(T)).
diff --git a/library/set_ordlist.m b/library/set_ordlist.m
index 2908f97..3c92c1f 100644
--- a/library/set_ordlist.m
+++ b/library/set_ordlist.m
@@ -58,7 +58,7 @@
 :- pred set_ordlist.to_sorted_list(set_ordlist(T)::in, list(T)::out) is det.
 :- func set_ordlist.to_sorted_list(set_ordlist(T)) = list(T).
 
-    % `set_ordlist.singleton_set(Set, Elem)' is true iff `Set' is the set
+    % `set_ordlist.singleton_set(Elem, Set)' is true iff `Set' is the set
     % containing just the single element `Elem'.
     %
 :- pred set_ordlist.singleton_set(T, set_ordlist(T)).
diff --git a/library/set_unordlist.m b/library/set_unordlist.m
index 5469f48..80fcde0 100644
--- a/library/set_unordlist.m
+++ b/library/set_unordlist.m
@@ -59,7 +59,7 @@
     is det.
 :- func set_unordlist.to_sorted_list(set_unordlist(T)) = list(T).
 
-    % `set_unordlist.singleton_set(Set, Elem)' is true iff `Set' is the set
+    % `set_unordlist.singleton_set(Elem, Set)' is true iff `Set' is the set
     % containing just the single element `Elem'.
     %
 :- pred set_unordlist.singleton_set(T, set_unordlist(T)).

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------