Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve files generated by bnfc #19

Open
9 tasks
deemp opened this issue Dec 29, 2023 · 1 comment
Open
9 tasks

Improve files generated by bnfc #19

deemp opened this issue Dec 29, 2023 · 1 comment
Assignees
Labels
(normalizer) Related to the normalizer application (parser) Related to a parser priority 5

Comments

@deemp
Copy link
Member

deemp commented Dec 29, 2023

  • Par.y:

    • Support start and end positions
      • Like in the blog
      • OR, use a patched bnfc
    • Improve error messages using position information
  • Abs.hs

  • Print.hs

    • Pretty-print Bytes
@deemp deemp self-assigned this Dec 29, 2023
@deemp deemp changed the title Manually improve files generated by bnfc Improve files generated by bnfc Dec 30, 2023
@aabounegm
Copy link
Collaborator

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

@deemp deemp mentioned this issue Jan 12, 2024
1 task
@deemp deemp moved this to Todo in Normalizer & proof Feb 20, 2024
@deemp deemp added this to the Nice to have milestone Feb 22, 2024
@deemp deemp added (normalizer) Related to the normalizer application (parser) Related to a parser labels May 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
(normalizer) Related to the normalizer application (parser) Related to a parser priority 5
Projects
None yet
Development

No branches or pull requests

2 participants