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

From: <bugzilla@wiggum.w3.org>
Date: Thu, 02 Nov 2006 13:29:31 +0000
To: public-qt-comments@w3.org
CC:
Message-Id: <E1GfcdP-0003Zm-F4@wiggum.w3.org>

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





------- Comment #6 from nick@cbcl.co.uk  2006-11-02 13:29 -------
OK, I'm now happy with K2-FunctionProlog-7. With the function conversion rules
applied to the body when static typing it static type checks.

Received on Thursday, 2 November 2006 13:30:14 UTC