W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2007

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

From: <bugzilla@wiggum.w3.org>
Date: Wed, 17 Jan 2007 18:35:49 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1H7FdV-0003Gj-SB@wiggum.w3.org>

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.
Received on Wednesday, 17 January 2007 18:35:58 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:32 UTC