| 01:34 | <jmdyck> | I think it's possible with a grammatical parameter. |
| 01:37 | <jmdyck> | ExprStmt would use (say) Expression[~MatchExpr], everywhere else would use Expression[+MatchExpr], and PrimaryExpr's RHS for MatchExpr would be guarded by [+MatchExpr] (This is roughly what Jack Works said a couple days ago.) |
| 01:38 | <jmdyck> | Feels a bit icky though. |
| 01:44 | <jmdyck> | (You could probably modify the propagation of the parameter so that it means more like "can [not] start with a MatchExpr", to address the conflicts I brought up.) |
| 02:31 | <TabAtkins> | yeah, depends on how you're writing and whether you know you're awaiting ahead of time or not |