[Bug 19479] [QT3TS] CastAsNamespaceSensitiveType-2, 4

https://www.w3.org/Bugs/Public/show_bug.cgi?id=19479

Tim Mills <tim@cbcl.co.uk> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |---

--- Comment #2 from Tim Mills <tim@cbcl.co.uk> ---
CastAsNamespaceSensitiveType-2 is fixed.  Thanks.

CastAsNamespaceSensitiveType-4 has a type check error:

      declare function local:clarkname($q as xs:NOTATION) as xs:string {
        $q
      };
      local:clarkname(xs:untypedAtomic("xs:integer"))

$q is declared as an xs:NOTATION.  
The return type of the function is xs:string.
Function conversion rules cannot convert an xs:NOTATION into an xs:string.

Thus this test should expect XPTY0004, since this condition can be detected
statically.

CastAsNamespaceSensitiveType-5 has a similar problem.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Thursday, 8 November 2012 10:54:22 UTC