Actually, having dispatch based on expression head can really help lint Lint itself. One thing that keeps bugging me is that currently I can never be sure I have covered all possible Expr head types. For example, the other day @pao pointed out "bitstype 8 MyBitsType" doesn't lint. I have never used bitstype so I would not have known this. Having a discoverable way to go through all concrete subtypes of an abstract Expr would help catch lint gaps as the language evolves.
On Sunday, September 14, 2014 4:37:34 PM UTC+7, Stefan Karpinski wrote: > > Avoiding allocation during parsing could really be helpful. It would be > possible to make the number of subexpressions a type parameter. > >
