Re: Fwd: WFC: Parsed Entity

SJ Kissane scripsit:

> I suggest that "WFC: Parsed Entity" in section 4.1 be split into a VC
> and WFC. Suppose an unparsed entity is declared in the external DTD of
> the document; use of that entity in the document would make it invalid,
> but it cannot make it non-well-formed, since well-formedness must be
> decidable without reading the external DTD.

Proposed response:

The last claim is not true.  For example, a document whose external
subset is some arbitrary gibberish is not well-formed, but a parser
that doesn't read the external subset neither knows nor is required
to know that.  If your argument were to be sustained, almost every WFC
related to the DTD would have to be split.  However, WFCs and VCs have
very different consequences.  A non-validating parser that *does* read
the external subset must treat a violation of Parsed Entity as a fatal
error, whereas if it were merely a VC it would ignore it.

-- 
John Cowan  cowan@ccil.org   http://ccil.org/~cowan
Consider the matter of Analytic Philosophy.  Dennett and Bennett are well-known.
Dennett rarely or never cites Bennett, so Bennett rarely or never cites Dennett.
There is also one Dummett.  By their works shall ye know them.  However, just as
no trinities have fourth persons (Zeppo Marx notwithstanding), Bummett is hardly
known by his works.  Indeed, Bummett does not exist.  It is part of the function
of this and other e-mail messages, therefore, to do what they can to create him.

Received on Friday, 21 February 2014 14:23:31 UTC