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 GMT

This message: [ Message body ]
Next message: bugzilla@wiggum.w3.org: "[Bug 3943] Static typing of prolog-version-6 and prolog-version-7"
Previous message: bugzilla@wiggum.w3.org: "[Bug 3818] Static typing of $input-context1/works[1]/employee[1]/empnum[1]"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:14:18 GMT