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

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

From: <bugzilla@wiggum.w3.org>
Date: Thu, 02 Nov 2006 13:29:31 +0000
CC:
To: public-qt-comments@w3.org
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

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