Compact Syntax: primary ::= "empty" { <empty/> } | "empty" { <text/> }

[RavuAlHemio]

Greetings,

I think I have found an erratum in the compact syntax spec (compact-20021121.html).

§ A.1 contains the following production primary:

primary returns Element ::=
 "element" nameClass(isElem := true)_x "{" pattern_y "}"
  { <element> x y </element> }
 | "attribute" nameClass(isElem := false)_x "{" pattern_y "}"
  { <attribute> x y </attribute> }
 | "mixed" "{" pattern_x "}"
  { <mixed> x </mixed> }
 | "list" "{" pattern_x "}"
  { <list> x </list> }
 | datatypeName_x optParams_y
  { <data x > y </data> }
 | datatypeName_x datatypeValue_y
  { <value x > y </value> }
 | datatypeValue_x
  { <value> x </value> }
 | "empty"
  { <empty/> }
 | "notAllowed"
  { <notAllowed/> }
 | "empty"
  { <text/> }
 | ref_x
  { <ref name= x /> }
 | "parent" ref_x
  { <parentRef name= x /> }
 | "grammar" "{" grammar_x "}"
  { <grammar> x </grammar> }
 | "external" anyURILiteral_x optInherit_y
  { <externalRef href=mapSchemaRef(x) y /> }

Two alternatives match on the keyword "empty", one producing <empty/> and the other producing <text/>.

My assumption is that the one producing <text/> should be matching the keyword "text" instead.

[ndw]

Yes, I think that's right.