syntax highlighting parsers don't need to handle this :) nor does rustfmt but yes, I agree with your general point wrt proc macros
Being able to describe the grammar and being able to *formalize* it are different things. I agree that it’s good to be able to describe the grammar independently of implementation. I don’t care about formalisms for their own same.
-
-
It’s straightforward to describe a grammar with unbounded lookahead that uses scope to determine whether an identifier in a pattern is a nullary enum variant or a binding. It may not fit into any published theoretical formalism, but I argue that is unimportant.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.