W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

[Bug 3664] Definition of type promotion complex and inconsistent

From: <bugzilla@wiggum.w3.org>
Date: Tue, 26 Sep 2006 14:14:18 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GSDhS-00069X-CI@wiggum.w3.org>

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





------- Comment #1 from simeon@us.ibm.com  2006-09-26 14:14 -------
I've looked at these rules again, and I believe Jens is correct. The last two
rules in 8.5.1 are inconsistent and unnecessary complex. The rule that Jens
suggest is both simpler and covers the intended semantics. I would recommend to
accept the bug and replace the last two inference rules in 8.5.1 by the rule
Jens suggests.

- Jerome
Received on Tuesday, 26 September 2006 14:14:27 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:15 UTC