W3C home > Mailing lists > Public > public-qt-comments@w3.org > February 2012

[Bug 15999] New: [QT3] hof-039

From: <bugzilla@jessica.w3.org>
Date: Thu, 16 Feb 2012 12:47:32 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-15999-523@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=15999

           Summary: [QT3] hof-039
           Product: XPath / XQuery / XSLT
           Version: Member-only Editors Drafts
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3 & XPath 3 Test Suite
        AssignedTo: benjie.nguyen@gmail.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


I disagree with the expected result for this test.

The part of this which I disagree with is the following instance of test.

declare function local:f($x as xs:long, $y as xs:NCName) as element(e)?
{ <e x="{$x}" y="{$y}"/> };

local:f#2 instance of function(xs:long, xs:NCName) as element(e, xs:anyType)*,

The expected result (for this part of the test) is true .  I believe it should
be false.

The function declaration has return type element(e)?.  Refering to the Formal
Semantics specification, this expends out to:

[element(e)?]sequencetype
==
(element e nillable of type xs:anyType)?

Expading out the return type from the function type being tested, we get:

[element(e,xs:anyType)*]sequencetype
==
(element e of type xs:anyType)*

Note the absense of nillable.

Changing the test to:

local:f#2 instance of function(xs:long, xs:NCName) as element(e, xs:anyType?)*

would cause the actual and expected results to agree.

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Thursday, 16 February 2012 12:47:37 UTC

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