Open mrdomino opened 9 years ago
It'd be nice to enable users to tell hammer how to print their types. Maybe add a predicate type for it.
This is necessary, unless I'm missing something, for benchmarking of parsers with user-defined types.
I like this idea, and it could fairly easily be done by making h_pprint table driven. I'll look at that tomorrow.
It'd be nice to enable users to tell hammer how to print their types. Maybe add a predicate type for it.
This is necessary, unless I'm missing something, for benchmarking of parsers with user-defined types.