This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 5454 - CVS: Static Typing: ForExprType060
Summary: CVS: Static Typing: ForExprType060
Status: CLOSED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: unspecified
Hardware: PC Windows NT
: P2 normal
Target Milestone: ---
Assignee: Frans Englich
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-02-06 16:09 UTC by Tim Mills
Modified: 2008-06-26 12:39 UTC (History)
0 users

See Also:


Attachments

Description Tim Mills 2008-02-06 16:09:15 UTC
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
Comment 1 Frans Englich 2008-05-22 11:55:55 UTC
Ups, closed this one by mistake, reopening.
Comment 2 Frans Englich 2008-06-26 11:23:54 UTC
Should be fixed in CVS.
Comment 3 Tim Mills 2008-06-26 12:39:25 UTC
Thanks.