- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 30 Jul 2008 09:40:01 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5911
Summary: CVS: K-SeqRemoveFunc-13
Product: XML Query Test Suite
Version: unspecified
Platform: PC
OS/Version: Windows NT
Status: NEW
Severity: normal
Priority: P2
Component: XML Query Test Suite
AssignedTo: andrew.eisenberg@us.ibm.com
ReportedBy: tim@cbcl.co.uk
QAContact: public-qt-comments@w3.org
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)
--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Wednesday, 30 July 2008 09:50:00 UTC