[Bug 3664] Definition of type promotion complex and inconsistent

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