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

chore(parser): Parser error optimisation #1292

Merged
merged 8 commits into from
May 9, 2023
Merged

Commits on May 4, 2023

  1. chore(parser): optimize errors by:

    - switching labels to enums
    - Using LateAllocSet in place of BTreeSet
    joss-aztec committed May 4, 2023
    Configuration menu
    Copy the full SHA
    2c2d749 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d7a76d6 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    989b934 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2023

  1. Configuration menu
    Copy the full SHA
    53b453e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    57840ba View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    9d88867 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    78110be View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    32d1d56 View commit details
    Browse the repository at this point in the history