Closed m-bock closed 1 year ago
Just out of curiosity... why are invalid Idents not ruled out with something like smart constructors?
ident = Ident "!@# "
I've noticed that the DSL in tidy-codegen captures this.
tidy-codegen
This is a parser, it's not intended to be a correct-by-construction AST. tidy-codegen indeed provides that functionality in a very opinionated way.
Just out of curiosity... why are invalid Idents not ruled out with something like smart constructors?
I've noticed that the DSL in
tidy-codegen
captures this.