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.

Sign up for GitHub

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

Jump to bottom

Parser microoptimizations #2246

Merged
merged 5 commits into from
May 24, 2024
Merged

Parser microoptimizations #2246

merged 5 commits into from
May 24, 2024

Commits on May 23, 2024

  1. Parser micro-optimizations

    @kyri-petrou
    kyri-petrou committed May 23, 2024
    Configuration menu
    Copy the full SHA
    c86d2aa View commit details
    Browse the repository at this point in the history

  2. Use flatMap instead of positive-lookahead

    @kyri-petrou
    kyri-petrou committed May 23, 2024
    Configuration menu
    Copy the full SHA
    2d24ffb View commit details
    Browse the repository at this point in the history

  3. Add back nowarn annotations

    @kyri-petrou
    kyri-petrou committed May 23, 2024
    Configuration menu
    Copy the full SHA
    9a0bea5 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. Revert change to definition

    @kyri-petrou
    kyri-petrou committed May 24, 2024
    Configuration menu
    Copy the full SHA
    33a6512 View commit details
    Browse the repository at this point in the history

  2. Remove blackhole usage from parser benchmarks

    @kyri-petrou
    kyri-petrou committed May 24, 2024
    Configuration menu
    Copy the full SHA
    fbc3536 View commit details
    Browse the repository at this point in the history