Consolidate parsing of `Expr::Name` in `TypeAliasName`, `MatchName`, and `Atom<Goal>`
zanieb opened this issue · 1 comments
zanieb commented
We have three parser descriptions for in the LALRPOP grammar for generating Expr::Name from an Identifier.
TypeAliasNameMatchNameAtom<Goal>
These could be consolidated into a single reused identifier for simplicity and clarity.
Originally posted by @MichaReiser in #97 (comment)