[Bug 3830] Static typing of function declarations (K-Function-Prolog)

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


nick@cbcl.co.uk changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |




------- Comment #12 from nick@cbcl.co.uk  2007-01-17 18:35 -------
Thanks. Many of them are fixed, but I'm still having problems with:

K-FunctionProlog-21
K-FunctionProlog-22
K-FunctionProlog-23
K2-FunctionProlog-1
K2-FunctionProlog-2
K2-FunctionProlog-3
K2-FunctionProlog-4

these are generally like

declare function local:func($a, $unused, $c)
{
        $a + $c
};

which fails to type check as $a and $c haven't been assigned types, so are
assumed item()* for which + is not defined.