From 6f7ba4470ba2607483a97649fb406b576aa26a18 Mon Sep 17 00:00:00 2001 From: Stephen Checkoway Date: Tue, 2 Oct 2018 15:49:49 -0400 Subject: [PATCH] Fix errors in doctypes A `>` after `DOCTYPE` is a missing-doctype-name parse error but it is not also a missing-whitespace-before-doctype-name parse error. Doctypes with a public identifier is a (currently unnamed) parse error. --- tree-construction/tests6.dat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tree-construction/tests6.dat b/tree-construction/tests6.dat index f3991232..8c36dd3d 100644 --- a/tree-construction/tests6.dat +++ b/tree-construction/tests6.dat @@ -48,7 +48,6 @@ #data #errors -(1,9): need-space-after-doctype (1,10): expected-doctype-name-but-got-right-bracket (1,10): unknown-doctype #new-errors @@ -604,6 +603,7 @@ html #data #errors +(1,50): doctype-has-public-identifier #document | |