[Bug 4164] Static typing of fn-name-16

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

           Summary: Static typing of fn-name-16
           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


When static typing is in effect, the error XPST0005 should be permitted.  The
expression 'self::div' must not have type empty-sequence().

(: Name: fn-name-16:)
(: Description: Evaluation of the fn:name function with argument that uses the
"
self" axes.  Returns a empty sequence:)
(: Uses fn:count to avoid empty file. :)
(: insert-start :)
declare variable $input-context1 external;
(: insert-end :)


for $h in ($input-context1/works/employee[2])
return fn:count(fn:name($h/self::div))