[Bug 4184] Static typing of K-SeqOneOrMoreFunc-3

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4184

           Summary: Static typing of K-SeqOneOrMoreFunc-3
           Product: XML Query Test Suite
           Version: 1.0.2
          Platform: PC
        OS/Version: Windows XP
            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


Since the formal semantics rules mandate that the static return type of this
function is a one-or-more sequence, operator eq fails to typecheck.

This is one case where a simple extension to the static typing rules would iron
out the problem.  More precise rules than are currently specified for
fn:one-or-more and fn:zero-or-one are possible.

(:*******************************************************:)
(: Test: K-SeqOneOrMoreFunc-3                            :)
(: Written by: Frans Englich                             :)
(: Date: 2006-10-05T18:29:40+02:00                       :)
(: Purpose: A test whose essence is: `one-or-more("one") eq "one"`. :)
(:*******************************************************:)
one-or-more("one") eq "one"

Received on Wednesday, 10 January 2007 15:04:52 UTC