[Bug 4245] Static typing of K2-NodeSame-1

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

           Summary: Static typing of K2-NodeSame-1
           Product: XML Query Test Suite
           Version: unspecified
          Platform: PC
        OS/Version: Windows XP
            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


The LHS of operator "is" has a zero-or-more sequence type, causing an static
type check error.

(:*******************************************************:)
(: Test: K2-NodeSame-1                                   :)
(: Written by: Frans Englich                             :)
(: Date: 2007-01-15T15:15:44+01:00                       :)
(: Purpose: Ensure node identity is is correct for variables and element
constru
ctors. :)
(:*******************************************************:)
declare variable $var := <elem/>;
                  not(<a>{$var}</a>/elem is $var)

Received on Wednesday, 17 January 2007 08:49:50 UTC