| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000112 | mercury | Bug | public | 2009-10-12 23:18 | 2009-10-17 06:10 | ||||
| Reporter | colanderman | ||||||||
| Assigned To | juliensf | ||||||||
| Priority | normal | Severity | feature | Reproducibility | always | ||||
| Status | resolved | Resolution | no change required | ||||||
| Product Version | |||||||||
| Target Version | Fixed in Version | ||||||||
| Summary | 0000112: set_* modules inconsistent | ||||||||
| Description | set_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. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
colanderman (reporter) 2009-10-12 23:20 |
Whoops, meant to say same applies to insert, delete, etc. |
|
juliensf (administrator) 2009-10-13 00:55 |
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) 2009-10-13 02:37 |
OK, good to know, thanks. |
|
juliensf (administrator) 2009-10-17 06:10 |
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 |