3854 2006-10-20 10:33:12 +0000 Static typing of K-InternalVariablesWith-19 2007-01-15 09:19:42 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0.1 PC Windows XP CLOSED FIXED P2 normal --- 1 tim frans.englich public-qt-comments oldest_to_newest 12563 0 tim 2006-10-20 10:33:12 +0000 In addition to exhibiting a circular variable definition, this query also exhibits a static type checking error, because $var2 has type item()* and (item()* + 1) fails to typecheck. This is not reflected in the set of expected error codes. declare variable $var2 := local:func1(); declare variable $var := $var2 + 1; declare function local:func1() { local:func2() }; declare function local:func2() { local:func3() }; declare function local:func3() { local:func4() }; declare function local:func4() { $var }; boolean($var) 12591 1 frans.englich 2006-10-23 13:26:06 +0000 Yes, a type declaration or two needs to be added so the type error goes away. 13498 2 frans.englich 2007-01-12 18:52:35 +0000 An attempted fix has been committed to CVS, and should be part of XQTS_current.zip. Feel free to verify that the fix is acceptable, and if so, change status to CLOSED. If the attempted fix is not acceptable, reopen this report. If no opinion about this resolution is expressed within two weeks, it will be closed. Along with the fix for this report, was committed fixes for other reports as well. Also, a significant amount of new tests were added to cover missing areas and changes in the specifications. 13534 3 tim 2007-01-15 09:19:42 +0000 This fixes test K-InternalVariablesWith-19. Thanks.