- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 14 Feb 2007 02:26:49 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=3846 ------- Comment #1 from simeon@us.ibm.com 2007-02-14 02:26 ------- Tim, I believe it does produce a type with PI and comments added. The 'expands to' judment which is used in the inference rule you quote, is defined using the 'adjusts to' (Section 8.1.7) judgment which indeed add types for PI and comment nodes. Let us know if that makes sense. Best, - Jerome
Received on Wednesday, 14 February 2007 02:26:54 UTC