Re: The specification of the standard function fold-le

On Sat, Jun 21, 2014 at 11:08 PM, Wolfgang Laun
wolfgang.laun@xxxxxxxxx <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx>
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.