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

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

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

Bugzilla from bugzilla@jessica.w3.org
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: [hidden email]
          Reporter: [hidden email]
        QA Contact: [hidden email]
             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.