- From: <bugzilla@wiggum.w3.org>
- Date: Mon, 11 Jul 2005 23:21:07 +0000
- To: public-qt-comments@w3.org
- Cc:
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