2019-08-21 13:21 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000112mercuryBugpublic2009-10-17 06:10
Reportercolanderman 
Assigned Tojuliensf 
PrioritynormalSeverityfeatureReproducibilityalways
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

-Relationships
+Relationships

-Notes

~0000207

colanderman (reporter)

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

~0000208

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.

~0000209

colanderman (reporter)

OK, good to know, thanks.

~0000213

juliensf (administrator)

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

-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