W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2014

[Bug 26860] New: Alternate result for K-ValCompTypeChecking-39 and -41

From: <bugzilla@jessica.w3.org>
Date: Fri, 19 Sep 2014 14:57:27 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-26860-523@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=26860

            Bug ID: 26860
           Summary: Alternate result for K-ValCompTypeChecking-39 and -41
           Product: XML Query Test Suite
           Version: unspecified
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
          Assignee: benjie.nguyen@gmail.com
          Reporter: josh.spiegel@oracle.com
        QA Contact: public-qt-comments@w3.org
             Group: XSLXQuery_WG

K-ValCompTypeChecking-39:
  3 eq (3, error())

K-ValCompTypeChecking-41:
  (3, error()) eq 3  

Both tests expect FOER0000.  

An implementation should also be allowed to raise a type error statically
(XPTY0004).

The quantifier of the type will be +:

quantifier(integer, none) 
= quantifier(integer), quantifier(none)
= 1, 1
= +

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Friday, 19 September 2014 14:57:29 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:48 UTC