W3C home > Mailing lists > Public > public-qt-comments@w3.org > February 2008

[Bug 5454] CVS: ForExprType060

From: <bugzilla@wiggum.w3.org>
Date: Wed, 06 Feb 2008 16:09:15 +0000
To: public-qt-comments@w3.org
Message-Id: <E1JMmpn-0006mM-KR@wiggum.w3.org>


           Summary: CVS: ForExprType060
           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

ForExprType060 should expect a static type check error (XPTY0004) for static
typing implementations.  The declared type of variable '$test' is
'processing-instruction(filesystem)' but its value has static type

(: Name: ForExprType060 :)
(: Description: FLWOR expressions with type declaration. Type declaration
g named PI nodes :)

declare namespace fs="http://www.example.com/filesystem";

(: insert-start :)
declare variable $input-context as document-node(element(*, xs:untyped))
(: insert-end :)

for $test as processing-instruction("filesystem") in
return $test
Received on Wednesday, 6 February 2008 16:09:22 UTC

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