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 5724 - CVS: K-SeqExprCast-64
Summary: CVS: K-SeqExprCast-64
Status: CLOSED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: unspecified
Hardware: PC Windows NT
: P2 normal
Target Milestone: ---
Assignee: Frans Englich
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-05-29 13:35 UTC by Tim Mills
Modified: 2010-03-16 16:01 UTC (History)
1 user (show)

See Also:

Attachments

Description Tim Mills 2008-05-29 13:35:43 UTC 
This test should also expect XPTY0004.

From XQuery, 3.12.3 Cast http://www.w3.org/TR/xquery/#id-cast

If the result of atomization is an empty sequence:
   2.  If ? is not specified after the target type, a type error is raised [err:XPTY0004].


(:*******************************************************:)
(: Test: K-SeqExprCast-64                                :)
(: Written by: Frans Englich                             :)
(: Date: 2007-11-22T11:31:21+01:00                       :)
(: Purpose: Casting to xs:notation is not allowed.       :)
(:*******************************************************:)
() cast as xs:NOTATION
Comment 1 Frans Englich 2008-06-24 12:33:00 UTC 
Ok, fixed in CVS.