[Bug 3829] Static typing of function declarations

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

           Summary: Static typing of function declarations
           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 following function declarations contain parameters without a declared type.
5.15 of the Formal Semantics states these are given the item()* sequence type.
But the functions expect them to be a different type. For example, in
function-declaration-006:

declare function local:mysum($i, $j)
{
   let $j := $i + $j
   return $j
};

This does not type check as $i + $j expectes anyAtomicType?


Could these functions be modified to define types for the parameters.


function-declaration-003
function-declaration-005
function-declaration-006
function-declaration-017

Received on Friday, 13 October 2006 14:36:20 UTC