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

["Dimitre Novatchev dnovatchev@xxxxxxxxx" <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx>]

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

Yes, that too.

So, to summarize, Wolfgang and I found three issues in the
specification of the fold -xxx functions:

      1. The Error Conditions paragraph for fold-left conflicts with
the signature of the function.

      2. The Error Conditions paragraph for fold-right conflicts with
the signature of the function.

      3. The Rules section (code) for fold-right conflicts the
signature of the function.



-- 
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.