[Bug 5456] CVS: K2-SeqDocFunc-12

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

           Summary: CVS: K2-SeqDocFunc-12
           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


It is possible to determine statically that the argument to fn:empty in
K2-SeqDocFunc-12 is of type empty-sequence().  Therefore this test should also
expect error XPST0005.