Revised PR #243

Hi folks,

Per our discussion at the meeting today, I have revised PR #243. The draft and diff are available on the dashboard: https://invisiblexml.org/dashboard/#pr-243

For your convenience, here’s the revised section in its entirety:

  Prolog

  The optional prolog declares the version of ixml being used.

       prolog: version.
      version: -"ixml", RS, -"version", RS, string, s, -'.' .

  If a version string is provided and the implementation recognizes the version string, it must process the grammar using the syntax and semantics of that version.

  If the version is not provided, or the implementation does not recognize the version string provided, it must nevertheless attempt to process the grammar. In this case, it is implementation-defined which version or versions the implementation uses when it attempts to parse the grammar. If it finds a syntactically valid interpretation of the grammar, it must proceed using the semantics of the version under which it found a valid interpretation, otherwise it must reject the grammar.

  A grammar must conform to the syntax and semantics of the version declared or assumed (error S12).

  If the version is absent or unrecognized, the document element of the serialization must include an attribute named ixml:state, with the word 'version-mismatch' in its value. The ixml namespace URI is "http://invisiblexml.org/NS".

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica