[Bug 5795] New: CVS: K2-Steps-2, K2-FunctionProlog-14

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

           Summary: CVS: K2-Steps-2, K2-FunctionProlog-14
           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 query can also return the empty sequence.

In this context

e[928] 

is effectively

(fn:error('err:XPDY0002'))[928]

which can be evaluated through type analysis to be the empty sequence.

K2-FunctionProlog-14 has a similar problem.

(:*******************************************************:)
(: Test: K2-Steps-2                                      :)
(: Written by: Frans Englich                             :)
(: Date: 2007-11-22T11:31:21+01:00                       :)
(: Purpose: A numeric predicate combined with a name test inside a function. :)
(:*******************************************************:)
declare function local:myFunc()
{
    e[928]
};
local:myFunc()


-- 
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 Tuesday, 24 June 2008 12:58:31 UTC