W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2013

[Bug 21597] New: higher-order-functions-068

From: <bugzilla@jessica.w3.org>
Date: Fri, 05 Apr 2013 17:17:36 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-21597-523@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=21597

            Bug ID: 21597
           Summary: higher-order-functions-068
    Classification: Unclassified
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSLT 3.0 Test Suite
          Assignee: abel.online@xs4all.nl
          Reporter: mike@saxonica.com
        QA Contact: public-qt-comments@w3.org

I believe this test is incorrect.

The variable $first is bound to:

function($x as xs:integer) as function(*) {
   let $second := function($y as xs:integer) as function(*) {
                    $countfun($x + $y)
                  }
   return f:fib($n - 2, $second)
}

But f:fib does not return a function; it returns an integer, so the body of
this $first function does not return what it is declared to return. This would
be clearer if the types of each function were properly declared; but certainly
the outermost caller of f:fib is expecting it to return an integer.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Friday, 5 April 2013 17:17:39 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:52 UTC