W3C home > Mailing lists > Public > public-qt-comments@w3.org > December 2006

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

From: <bugzilla@wiggum.w3.org>
Date: Wed, 13 Dec 2006 12:44:47 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GuTTb-0004O6-7Q@wiggum.w3.org>

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





------- Comment #9 from frans.englich@telia.com  2006-12-13 12:44 -------
Right! I had completely forgotten implementing that.

I looked at how my implementation does this: when a callsite to a user declared
function is asked for its static type, it uses the body of the function it
calls, /if/ it's not a recursive call(e.g, the callsite is in the body of the
function it calls, or indirectly via a reference). So type inferring should
work well, since it infers to any AST depth until it encounters an actual
recursive call.
Received on Wednesday, 13 December 2006 12:45:02 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:16 UTC