You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Editorial: Link to early error from the relevant grammar productions
It's easy to miss the early error section when reading the grammar. This
adds links to the early error section from the grammar productions which
have relevant early errors.
It's done by breaking up the `<emu-grammar>` into multiple grammars
because it is apparently not possible to put a cross-reference into
the grammarkdown prose.
Closes: #3128
<p>Note the prohibition on negative zero in <emu-xrefhref="#sec-temporal-iso8601grammar-static-semantics-early-errors"></emu-xref>.</p>
1113
+
<emu-grammartype="definition">
1112
1114
DateMonth:::
1113
1115
`0`NonZeroDigit
1114
1116
`10`
@@ -1129,10 +1131,14 @@ <h1>RFC 9557 / ISO 8601 grammar</h1>
1129
1131
DateSpecMonthDay:::
1130
1132
`--`?DateMonthDateSeparator[+Extended] DateDay
1131
1133
`--`?DateMonthDateSeparator[~Extended] DateDay
1132
-
1134
+
</emu-grammar>
1135
+
<p>Note the prohibition on invalid combinations of month and day in <emu-xrefhref="#sec-temporal-iso8601grammar-static-semantics-early-errors"></emu-xref>.</p>
<p>Note the prohibition on invalid combinations of month and day in <emu-xrefhref="#sec-temporal-iso8601grammar-static-semantics-early-errors"></emu-xref>.</p>
1141
+
<emu-grammartype="definition">
1136
1142
Date:::
1137
1143
DateSpec[+Extended]
1138
1144
DateSpec[~Extended]
@@ -1224,7 +1230,9 @@ <h1>RFC 9557 / ISO 8601 grammar</h1>
<p>Note the disambiguation between the second alternative without |TimeDesignator|, and |DateSpecMonthDay|/|DateSpecYearMonth| in <emu-xrefhref="#sec-temporal-iso8601grammar-static-semantics-early-errors"></emu-xref>.</p>
0 commit comments