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
CC:
To: public-qt-comments@w3.org
Message-Id: <E1JMmpn-0006mM-KR@wiggum.w3.org>

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

           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
'processing-instruction()'.

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

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

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

for $test as processing-instruction("filesystem") in
($input-context//fs:Folder)
[1]//processing-instruction()
return $test
Received on Wednesday, 6 February 2008 16:09:22 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:49 GMT