- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 26 Jul 2005 00:47:37 +0000
- To: public-qt-comments@w3.org
- Cc:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1721 ------- Additional Comments From fred.zemke@oracle.com 2005-07-26 00:47 ------- If indeed every Expr has only one Type such that statEnv |- Expr : Type, then there is no problem. Perhaps we could add an informative note to this effect in some convenient place? By the way, I see that the incorrect usage, Expr <: Type, is found in some of the inferences in 7.1.3 "fs:convert-operand".
Received on Tuesday, 26 July 2005 00:47:42 UTC