- From: Michael Rys <mrys@microsoft.com>
- Date: Fri, 9 Jul 2004 13:08:14 -0700
- To: <public-qt-comments@w3.org>
Section 7.2.2.1
Technical
PI's and comments can occur before, after and inbetween the elements
given by the Type of the document. Thus the following rule:
------------------------------------------------------------------------
--------
statEnv |- axis child:: of document { Type } : Type &
processing-instructions* & comment*
should be:
------------------------------------------------------------------------
--------
statEnv |- axis child:: of document { Type } : (pi? & cmt?)* ,
interspersepicmt(Type), (processing-instructions? & comment?)
Or introduce a new symbol to denote the interspersing semantics instead
of misusing &.
Received on Friday, 9 July 2004 16:08:19 UTC