There is a mismatch in fold-right:
Signature:
fn:fold-right( ., ., $f as function(item()*, item()) as item()*) as item()*
First parameter: item() sequence, second item()
Rules:
else $f(fn:head($seq), fn:fold-right(fn:tail($seq), $zero, $f))
First parameter: item(), second item() sequence (the result type of $f)
-W
On 22/06/2014, Dimitre Novatchev dnovatchev(_at_)gmail(_dot_)com
<xsl-list-service(_at_)lists(_dot_)mulberrytech(_dot_)com> wrote:
On Sat, Jun 21, 2014 at 11:08 PM, Wolfgang Laun
wolfgang(_dot_)laun(_at_)gmail(_dot_)com
<xsl-list-service(_at_)lists(_dot_)mulberrytech(_dot_)com>
wrote:
Exactly the same paragraph is used in the specification of fold-right
-- and in that case the text is correct.
The paragraphs headed "Error Conditions" do differ:
...either the value of $zero or the result of a previous application
of $f, and the second is $seq or any trailing subsequence of $seq.
...any item in the sequence $seq, and the second is either the value
of $zero or the result of a previous application of $f.
-W
About this remark: yes, and this means that there is a similar issue
in the Error Conditions paragraph for fold-right.
The signature of fold-right (as specified) is:
fn:fold-right($seq as item()*,
$zero as item()*,
$f as function(item()*, item()) as item()*) as item()*
Do notice that the type of the argument $f is:
function(item()*, item()) as item()*
The type of the 2nd argument is: item() -- not a sequence.
Therefore, if $f is passed as second argument a sequence ("$zero or
the result of a previous application of $f") this would cause a
dynamic error
--
Cheers,
Dimitre Novatchev
---------------------------------------
Truly great madness cannot be achieved without significant intelligence.
---------------------------------------
To invent, you need a good imagination and a pile of junk
-------------------------------------
Never fight an inanimate object
-------------------------------------
To avoid situations in which you might make mistakes may be the
biggest mistake of all
------------------------------------
Quality means doing it right when no one is looking.
-------------------------------------
You've achieved success in your field when you don't know whether what
you're doing is work or play
-------------------------------------
To achieve the impossible dream, try going to sleep.
-------------------------------------
Facts do not cease to exist because they are ignored.
-------------------------------------
Typing monkeys will write all Shakespeare's works in 200yrs.Will they
write all patents, too? :)
-------------------------------------
I finally figured out the only reason to be alive is to enjoy it.
--~----------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
EasyUnsubscribe: http://lists.mulberrytech.com/unsub/xsl-list/1167547
or by email: xsl-list-unsub(_at_)lists(_dot_)mulberrytech(_dot_)com
--~--