W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1549] [FS] editorial: 3.2.3 Static typing judgment

From: <bugzilla@wiggum.w3.org>
Date: Mon, 11 Jul 2005 23:21:07 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1Ds7aF-0000f0-3u@wiggum.w3.org>

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





------- Additional Comments From jmdyck@ibiblio.org  2005-07-11 23:21 -------
(Also...)

"The overall static type inference algorithm is recursive"
    I don't think you can call it an algorithm, given that you haven't
    shown that it terminates, and you haven't given an effective means to
    to test the subtype relation.
Received on Monday, 11 July 2005 23:21:09 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC