Improve files generated by bnfc

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

MIT License

7 stars 2 forks source link

Open deemp opened 8 months ago

deemp commented 8 months ago

Par.y:
- [ ] Support start and end positions
- [ ] Like in the blog
- [ ] OR, use a patched bnfc
- [ ] Improve error messages using position information
Abs.hs
- [ ] Include custom code (see happy docs)
- [ ] instance Plated Object (see Plated) (related to #18)
- [ ] Use Text instead of String
- [ ] (?) Use Bytes Integer
Print.hs
- [ ] Pretty-print Bytes

aabounegm commented 8 months ago

About the Text instead of String point, there is an undocumented BNFC flag that would help: --text-token