Hi,
I think I've spotted a bug in array:fold-left (using 20141219 snapshot)
array:tail([1,2,3]) => [2,3]
array:fold-left( array:tail([1,2,3]), (), function($result, $fn) { ($result, $fn) } )
=> (1,2)
Using array:fold-right in the above example returns (2,3).
Hi Marc,
Leo has just fixed my bug in the array iterator code. Thanks! A new snapshot is available.
Christian
On Sun, Dec 21, 2014 at 12:05 PM, Marc van Grootel marc.van.grootel@gmail.com wrote:
Hi,
I think I've spotted a bug in array:fold-left (using 20141219 snapshot)
array:tail([1,2,3]) => [2,3]
array:fold-left( array:tail([1,2,3]), (), function($result, $fn) { ($result, $fn) } )
=> (1,2)
Using array:fold-right in the above example returns (2,3).
-- --Marc
Verified, fixed. Thanks --Marc
On Sun, Dec 21, 2014 at 4:48 PM, Christian Grün christian.gruen@gmail.com wrote:
Hi Marc,
Leo has just fixed my bug in the array iterator code. Thanks! A new snapshot is available.
Christian
On Sun, Dec 21, 2014 at 12:05 PM, Marc van Grootel marc.van.grootel@gmail.com wrote:
Hi,
I think I've spotted a bug in array:fold-left (using 20141219 snapshot)
array:tail([1,2,3]) => [2,3]
array:fold-left( array:tail([1,2,3]), (), function($result, $fn) { ($result, $fn) } )
=> (1,2)
Using array:fold-right in the above example returns (2,3).
-- --Marc
basex-talk@mailman.uni-konstanz.de
-
Christian Grün -
Marc van Grootel