W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2016

[Bug 29676] New: [QT3TS] map-entry-001-hof

From: <bugzilla@jessica.w3.org>
Date: Tue, 31 May 2016 09:28:22 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29676-523@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29676

            Bug ID: 29676
           Summary: [QT3TS] map-entry-001-hof
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Hardware: PC
               URL: https://www.w3.org/Bugs/Public/show_bug.cgi?id=29586
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3 & XPath 3 Test Suite
          Assignee: oneil@saxonica.com
          Reporter: tim@cbcl.co.uk
        QA Contact: public-qt-comments@w3.org
  Target Milestone: ---

Assertion 

  <not><assert-type>function(xs:anyAtomicType) as
xs:integer?</assert-type></not>

will need to be negated if the changes to the judgement subtype-itemtype(Ai,
Bi) in Bug 29586 are adopted.

It might be necessary regardless of Bug 29586 if we take the view that it's
acceptable to return a subtype.

I suggest changing this to

  <assert-type>function(xs:anyAtomicType) as item()*</assert-type>

at the very least.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 31 May 2016 09:28:28 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 31 May 2016 09:28:29 UTC