[Bug 3828] Return typing of function-declaration-001 invalid for static typing

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

           Summary: Return typing of function-declaration-001 invalid for
                    static typing
           Product: XML Query Test Suite
           Version: 1.0.1
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: nick@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


The function

declare function foo:price ($b as element()) as element()
{
  $b/price
};


has expected return type element()

but the body, $b/price, has a type of element()*, hence type checking fails.

Can the return type be changed to element()*

Received on Friday, 13 October 2006 14:13:06 UTC