[Bug 5514] CVS: K2-Steps-21 to K2-Steps-29

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

           Summary: CVS: K2-Steps-21 to K2-Steps-29
           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


K2-Steps-21 fails static type checking.  Since function argument $arg is has
implicit type item()*, $arg/@e may fail with XPTY0019 (the result of a step in
path expression must not be an atomic value).

(:*******************************************************:)
(: Test: K2-Steps-21                                     :)
(: Written by: Frans Englich                             :)
(: Date: 2007-11-22T11:31:21+01:00                       :)
(: Purpose: Tricky combination of focuses and function calls. :)
(:*******************************************************:)
declare variable $root :=
<a>
    <b e="B"/>
    <c e="B"/>
</a>;
declare function local:function($arg)
{
$root["B" eq $arg/@e]
};
$root/local:function(c)

Received on Monday, 3 March 2008 09:47:38 UTC