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

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.