4268 2007-01-22 13:39:35 +0000 Static typing of K2-FunctionProlog-22 2007-05-23 11:44:43 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite unspecified PC Windows XP CLOSED FIXED P2 minor --- 1 nick frans.englich public-qt-comments oldest_to_newest 13763 0 nick 2007-01-22 13:39:35 +0000 I don't think the following static type checks without a static typing extension: declare function local:func() as xs:integer { text {"1"} }; text {"1"} uses the following function fs:item-sequence-to-untypedAtomic-text($items as item()*) as xs:untypedAtomic? with the static typing rules for state: "There are no special static typing rules for this function. Static type analysis for this function should be performed as for a built-in function declared with the given signature." so when the body is type checked it gets an optional quantifier. Changing the return type to "as xs:integer?" should fix this. 15150 1 frans.englich 2007-05-23 09:14:07 +0000 In CVS, the test has an added '?'. 15153 2 nick 2007-05-23 09:19:38 +0000 Thanks. BTW is there any news when XQTS 1.0.3 will be out? 15156 3 frans.englich 2007-05-23 11:44:43 +0000 I posted a mail on public-xqts-comments@w3.org such that it could be more broadly consumed. Subject "Status update for XQTS 1.0.3".