This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 26860 - Alternate result for K-ValCompTypeChecking-39 and -41
Summary: Alternate result for K-ValCompTypeChecking-39 and -41
Status: RESOLVED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XQuery 3 & XPath 3 Test Suite (show other bugs)
Version: Working drafts
Hardware: PC All
: P2 normal
Target Milestone: ---
Assignee: O'Neil Delpratt
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-09-19 14:57 UTC by Josh Spiegel
Modified: 2014-11-18 21:52 UTC (History)
2 users (show)

See Also:

Attachments

Description Josh Spiegel 2014-09-19 14:57:27 UTC 
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
= +
Comment 1 Tim Mills 2014-11-18 13:56:55 UTC 
I agree with your analysis.
Comment 2 Josh Spiegel 2014-11-18 21:52:08 UTC 
Added alternate results.