[Bug 5515] CVS: K2-Steps-32

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

           Summary: CVS: K2-Steps-32
           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


($count eq 2) fails static type checking, as there is eq is not defined for all
subtypes of item()*.  An 'as xs:integer' would solve the problem.

(:*******************************************************:)
(: Test: K2-Steps-32                                     :)
(: Written by: Frans Englich                             :)
(: Date: 2007-11-22T11:31:21+01:00                       :)
(: Purpose: Tricky combination of focus and a recursive function call. :)
(:*******************************************************:)
declare variable $root := <root/>;
declare function local:function($arg, $count)
{
    $arg,
    $root,
    if($count eq 2)
    then $root
    else local:function($arg, $count + 1)
};
$root/local:function(., 1)