[Bug 1721] [FS] need a judgment to find the "best" type and quantifier from bugzilla@wiggum.w3.org on 2005-07-25 (public-qt-comments@w3.org from July 2005)

From: <bugzilla@wiggum.w3.org>
Date: Mon, 25 Jul 2005 21:59:22 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1DxAyo-0007uI-H2@wiggum.w3.org>

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





------- Additional Comments From jmdyck@ibiblio.org  2005-07-25 21:59 -------
Sorry, what I mean is: I don't understand why the concept of "best" type is
needed here. I don't see how "Type1 is not deterministic". Is it possible to
infer two distinct static types for an expression?

If Expr1 is 1.3, then Expr1 : xs:decimal, but I don't think you can go from
there to Expr1 : xs:decimal? etc.

Received on Monday, 25 July 2005 21:59:27 UTC