[Bug 5724] CVS: K-SeqExprCast-64

From: <bugzilla@farnsworth.w3.org> Date: Thu, 29 May 2008 13:35:43 +0000 CC: To: public-qt-comments@w3.org Message-Id: <E1K1iIB-0002oJ-NX@farnsworth.w3.org> · This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:52 GMT

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5724

           Summary: CVS: K-SeqExprCast-64
           Product: XML Query Test Suite
           Version: unspecified
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org

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