| 15:41 | <Michael Ficarra> | do we always use "this NonterminalName" when referring to the LHS of a production in SDO steps, or only when the same nonterminal appears on the RHS? |
| 15:41 | <Michael Ficarra> | if we don't, I think we should |
| 15:44 | <Michael Ficarra> | and early errors, I guess |
| 15:45 | <Michael Ficarra> | I wonder if it would be helpful to model early errors as an SDO... 🤔 |
| 16:25 | <bakkot> | helpful to whom |
| 16:25 | <bakkot> | readers? no |
| 17:04 | <jmdyck> | Michael Ficarra: we don't always. I'm prepping a PR where this stuff gets consistified |
| 17:15 | <jmdyck> | re modelling early errors as an SDO: I've thought about it. I agree w bakkot that it wouldn't be particularly helpful to readers, as most early error rules are about as clear as they need to be for most people's purposes. On the other hand, there are some dark corners of early error processing, and the exercise might shine some light on them. |