[Bug 5454] CVS: ForExprType060

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 UTC