[Bug 5911] New: CVS: K-SeqRemoveFunc-13

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