[Bug 8131] New: [XQTS] CVS: GenCompEq-2

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

           Summary: [XQTS] CVS: GenCompEq-2
           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 is meant to check the resolution of Bug 5223.

Following the text of the resolution of this bug:

(b) If exactly one of the atomic values is an instance of xs:untypedAtomic, it
is cast to a type depending on the other value's dynamic type T according to
the following rules, in which V denotes the value to be cast:
(b4) In all other cases, V is cast to the primitive base type of T 

Here T = xs:NCName, and the primitive base type of T is xs:string.

Since

xs:untypedAtomic('1') cast as xs:string

would not raise FORG0001, why is this the expected error?

(:*******************************************************:)
(: Test: GenCompEq-2                                     :)
(: Written by: Sorin Nasoi                               :)
(: Date: 2009-05-01+02:00                                :)
(: Purpose: General comparison where one of the types is :)
(: xs:untypedAtomic and the other xs:NCName.             :)
(: Expected error FORG0001.                              :)
(:*******************************************************:)

xs:untypedAtomic("1") = xs:NCName("string")


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Friday, 30 October 2009 13:25:12 UTC