[XSL-LIST Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message] Re: The specification of the standard function fold-le
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.
|
PURCHASE STYLUS STUDIO ONLINE TODAY!Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced! Download The World's Best XML IDE!Accelerate XML development with our award-winning XML IDE - Download a free trial today! Subscribe in XML format
|