5911 2008-07-30 09:40:00 +0000 CVS: Static Typing: K-SeqRemoveFunc-13 2008-11-20 09:04:49 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite unspecified PC Windows NT CLOSED FIXED P2 normal --- 1 tim frans.englich frans.englich public-qt-comments oldest_to_newest 21386 0 tim 2008-07-30 09:40:00 +0000 This test should expect the empty sequence and (in the case of static typing implementations XPST0005). By applying the FS rule: statEnv |- Type1 <: xs:integer ------------------------------------------------------------------------- statEnv |- (FN-URI,"remove")(Type, Type1) : prime(Type) · quantifier(Type) · ? where Type = none (the static return type of fn:error()) prime(Type) = none quantifier(Type) = 1 prime(Type) · quantifier(Type) · ? = empty (:*******************************************************:) (: Test: K-SeqRemoveFunc-13 :) (: Written by: Frans Englich :) (: Date: 2007-11-22T11:31:22+01:00 :) (: Purpose: A test whose essence is: `remove(error(), 1)`. :) (:*******************************************************:) remove(error(), 1) 22438 1 frans.englich 2008-11-13 17:34:26 +0000 Fixed in CVS, added an alternative static typing query. 22487 2 tim 2008-11-20 09:04:49 +0000 Thanks.