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

[Bug 1721] [FS] need a judgment to find the "best" type and quantifier

From: <bugzilla@wiggum.w3.org>
Date: Thu, 21 Jul 2005 21:51:54 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1DvixO-0002MT-Vo@wiggum.w3.org>

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





------- Additional Comments From jmdyck@ibiblio.org  2005-07-21 21:51 -------
Huh? I don't get it.
Surely "Expr <: Type" is just a typo for "Expr : Type".
See Bug 1745, last comment.
Received on Thursday, 21 July 2005 21:51:58 UTC

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