4265 2007-01-19 13:49:31 +0000 Static typing of K2-FunctionProlog-9 2007-01-23 17:33:30 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite unspecified PC Windows XP CLOSED FIXED P2 normal --- 1 tim frans.englich public-qt-comments oldest_to_newest 13711 0 tim 2007-01-19 13:49:31 +0000 The multiplication operator here fails to typecheck becuase local:multiplySequence is typed as item()*. (:*******************************************************:) (: Test: K2-FunctionProlog-9 :) (: Written by: Frans Englich :) (: Date: 2007-01-15T15:15:45+01:00 :) (: Purpose: A recursive function multiplying a sequence. :) (:*******************************************************:) declare function local:multiplySequence($input) { if (empty($input)) then 1 else $input[1] * local:multiplySequence($input[position() != 1]) }; local:multiplySequence((1, 2, 3, 4, 5)) 13736 1 frans.englich 2007-01-21 12:45:55 +0000 A fix has been attempted in CVS, and XQTS_current.zip has been updated to contain the new change. If it can be verified that the change is correct, it would be appreciated. If this resolution is satisfiable, feel free to change status to closed. Otherwise, reopen this report. If no opinion on the resolution is expressed within two weeks, I will change status to closed. This change to this report was part of a batch-change of several reports. 13747 2 tim 2007-01-22 08:49:36 +0000 This still fails. I suggest: declare function local:multiplySequence($input as xs:integer*) as xs:integer which ensures that the multiplication operator will type check correctly. 13783 3 frans.englich 2007-01-23 16:20:20 +0000 A new attempt has been committed to CVS(see comment #1). 13789 4 tim 2007-01-23 17:33:30 +0000 K2-FunctionProlog-9 is now fixed. Thanks.