| 18:42 | <Michael Ficarra> | so, thoughts on the Kleene star/plus |
| 18:42 | <Michael Ficarra> | there's definitely tons of opportunities to apply it, and I do feel it would make things more readable |
| 18:43 | <Michael Ficarra> | BUT |
| 18:43 | <Michael Ficarra> | we would need a way to do grouping if we wanted to fully eliminate some of the productions, which I don't really want to introduce |
| 18:43 | <Michael Ficarra> | and there will be so much churn in rewriting/refactoring SDOs |
| 18:44 | <Michael Ficarra> | I don't want the Kleene star badly enough to sign up for all that work |
| 18:50 | <Michael Ficarra> | we could make Annex A a little more useful by adding Kleene star, grouping, disjunction, etc., but that also might make it harder to modify in conjunction with the main body as new features are added |
| 18:55 | <bakkot> | better for Annex A to match the main grammar, I think |
| 21:41 | <shu> | yes, that Annex A should match is more important |
| 21:41 | <shu> | it should always be obviously just the grammar copy/pasted and collected in one place |