REBOL3 tracker
  0.9.12 beta
Ticket #0000850 User: anonymous

Project:



rss
TypeBug Statusreviewed Date25-May-2009 10:26
Versionalpha 54 Categoryn/a Submitted byLadislav
PlatformAll Severitytweak Prioritynormal

Summary ALL [()] should have the same result as ALL []
Description Checked #564: "ANY and ALL are primarily used as control structures. As such, it might be good for unset! values to be skipped by both ANY and ALL, like noops." If that is what we want, then

all [()]

has to yield the same result as

all []

, i.e. True, not #[unset!], etc.
Example code
equal? type? all [()] type? all [] ; yields False

Assigned ton/a Fixed in- Last Update27-May-2009 09:34


Comments
(0000812)
BrianH
26-May-2009 16:40

Good point, even though #[unset!] counts as true for control functions. Ticket changed to reflect the new request - just put a copy of your comment in there and tweaked the code.
(0000840)
Ladislav
27-May-2009 09:34

I guess that it is possible to change the implementation of All so that #[unset!] is completely ignored, i.e., that

all [1 ()]

would yield 1, etc.

Date User Field Action Change
18-Feb-2013 01:20 Ladislav Comment : 0000840 Modified -
18-Feb-2013 01:19 Ladislav Comment : 0000840 Modified -
18-Feb-2013 01:19 Ladislav Comment : 0000809 Removed -
27-May-2009 09:34 Ladislav Comment : 0000840 Added -
26-May-2009 16:46 BrianH Comment : 0000799 Removed -
26-May-2009 16:46 BrianH Comment : 0000812 Modified -
26-May-2009 16:44 BrianH Status Modified dismissed => reviewed
26-May-2009 16:44 BrianH Severity Modified not a bug => tweak
26-May-2009 16:44 BrianH Code Modified -
26-May-2009 16:44 BrianH Description Modified -
26-May-2009 16:44 BrianH Summary Modified Any and All are incompatible for #[unset!] => ALL [()] should have the same result as ALL []
26-May-2009 16:40 BrianH Comment : 0000812 Added -
26-May-2009 11:24 Ladislav Comment : 0000809 Modified -
26-May-2009 11:10 Ladislav Comment : 0000809 Modified -
26-May-2009 11:09 Ladislav Comment : 0000809 Modified -
26-May-2009 10:59 Ladislav Comment : 0000809 Modified -
26-May-2009 10:59 Ladislav Comment : 0000809 Modified -
26-May-2009 10:59 Ladislav Comment : 0000809 Added -
26-May-2009 08:25 Ladislav Comment : 0000805 Removed -
26-May-2009 07:52 Ladislav Comment : 0000805 Added -
25-May-2009 20:10 BrianH Comment : 0000799 Added -
25-May-2009 20:09 BrianH Status Modified submitted => dismissed
25-May-2009 20:09 BrianH Severity Modified minor => not a bug
25-May-2009 20:09 BrianH Version Modified alpha 55 => alpha 54
25-May-2009 10:31 Ladislav Description Modified -
25-May-2009 10:26 Ladislav Ticket Added -