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 3833 - Static typing of fn-lang
Summary: Static typing of fn-lang
Status: CLOSED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: 1.0.1
Hardware: PC Windows XP
: 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: 2006-10-13 16:51 UTC by Nick Jones
Modified: 2008-01-21 17:45 UTC (History)
0 users

See Also:

Attachments

Description Nick Jones 2006-10-13 16:51:49 UTC 
The tests

fn-lang1args-1
fn-lang1args-2
fn-lang1args-3

all contain expressions which static types as element()* as the second arguement for

fn:lang($testlang as xs:string?, $node as node()) as xs:boolean

hence causing a static typing exception. Could a [1] be added?
Comment 1 Carmelo Montanez 2006-12-12 19:20:51 UTC 
Nick:

Thanks for pointing this out.  Changes done as requested.

Carmelo
Comment 2 Nick Jones 2007-10-08 12:55:59 UTC 
Thanks for making the change. My apologies for the delay in getting back about this fix, and for unfortunately suggesting an incorrect fix.

My suggestion didn't fix the problem, as because we know nothing about the $input-context, the path expression now has a static type of element()? (i.e. quantifier zero-or-one), which fails to type check against the node() which fn:lang expects.

Instead of the [1] could the whole path be surrounded with an exactly-one which should then guarantee the correct type
Comment 3 Nick Jones 2008-01-21 17:44:52 UTC 
Specific static typing tests have been added to CVS