Re: [xsl] The specification of the standard function fold-left

["Wolfgang Laun wolfgang.laun@xxxxxxxxx" <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx>]

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@xxxxxxxxx
<xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx> wrote:
> 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.