2023-12-09 22:49 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000112mercuryBugpublic2009-10-17 06:10
Assigned Tojuliensf 
StatusresolvedResolutionno change required 
Product Version 
Target VersionFixed in Version 
Summary0000112: set_* modules inconsistent
Descriptionset_bbbtree, set_ordlist, and set_unordlist all have a predicate member(T, set(T)) with modes semidet and nondet, and a predicate contains(set(T), T) with mode semidet.

set_tree234 reverses the order of the arguments of member relative to these three modules, and set_ctree234 drops member and provides instead one_member(set(T), T) with only mode nondet.

At the very least the order of arguments to set_tree234.member should be reversed, or the predicate renamed.
TagsNo tags attached.
Attached Files




colanderman (reporter)

Whoops, meant to say same applies to insert, delete, etc.


juliensf (administrator)

The inconsistency in the argument orderings is deliberate in the sense that the set_tree234
orderings are what we want (because they are more uesful with higher-order programming),
the versions in the other set modules will eventually be changed to conform to this; but not
until after the next stable release.


colanderman (reporter)

OK, good to know, thanks.


juliensf (administrator)

The argument orderings will be modified sometime after the 0.14 release.

-Issue History
Date Modified Username Field Change
2009-10-12 23:18 colanderman New Issue
2009-10-12 23:20 colanderman Note Added: 0000207
2009-10-13 00:55 juliensf Note Added: 0000208
2009-10-13 02:37 colanderman Note Added: 0000209
2009-10-17 06:10 juliensf Note Added: 0000213
2009-10-17 06:10 juliensf Status new => resolved
2009-10-17 06:10 juliensf Resolution open => no change required
2009-10-17 06:10 juliensf Assigned To => juliensf
+Issue History