W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2007

[Bug 4192] Static typing of Comp-notation-1 to Comp-notation-22

From: <bugzilla@wiggum.w3.org>
Date: Thu, 11 Jan 2007 08:28:45 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1H4vIj-0007sW-Ok@wiggum.w3.org>

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

           Summary: Static typing of  Comp-notation-1 to Comp-notation-22
           Product: XML Query Test Suite
           Version: 1.0.2
          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


These tests pass arguments typed as zero-or-more sequences to eq, causing a
static type check error.

(: Name: Comp-notation-1 :)
(: Written by: Andreas Behm :)
(: Description: notation comparison :)

(: insert-start :)
import schema namespace myns="http://www.example.com/notation";
declare variable $input-context external;
(: insert-end :)

fn:not($input-context//*:NOTATION1 eq $input-context//*:NOTATION3)
Received on Thursday, 11 January 2007 08:50:41 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:32 UTC