2.4.3 Content models Notation "The grammar for Type describe above is general enough to capture type infered for arbitrary expression, as well as to represent the content of an in [Schema Part 1]." s/describe/described/ s/type/types/ s/infered/inferred/ s/expression/expressions/ s/an in/an element in/ ?? Notation [42 (Formal)] AttributeModel ::= ... | ("(" ")") [43 (Formal)] ElementModel ::= ... | ("(" ")") If the intent is that the language generated by each of these nonterminals be a subset of the language generated by the nonterminal 'Type', then () is not a valid Type. Change '("(" ")")' to '"empty"'.
(In reply to comment #0) > > "... to capture type infered for arbitrary expression" > s/type/types/ > s/expression/expressions/ Or, keep it singular: insert "the" before "type" and "an" before "arbitrary".
The fix for this bug does not appear in the Recommendation of 23 January 2007. It will be considered for a future publication (either an Errata document or some possible future version of the specification).
This issue has been entered as FS erratum E041, and the proposed fixes have been committed to the source files for the next edition of the FS document. Consequently, I'm marking this issue resolved-FIXED, and CLOSED. (Regarding the phrase "as well as to represent the content of an in [Schema Part 1]" I couldn't figure out what it was supposed to say, and it didn't seem to be crucial to the sense of the paragraph, so I just deleted it.)