Subject: Re: [xsl] The specification of the standard function fold-left From: "Dimitre Novatchev dnovatchev@xxxxxxxxx" <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx> Date: Sun, 22 Jun 2014 06:31:10 -0000 |
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.
Current Thread |
---|
|
<- Previous | Index | Next -> |
---|---|---|
Re: [xsl] The specification of the , Dimitre Novatchev dn | Thread | Re: [xsl] The specification of the , Wolfgang Laun wolfga |
Re: [xsl] The specification of the , Dimitre Novatchev dn | Date | Re: [xsl] The specification of the , Wolfgang Laun wolfga |
Month |