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

Parse with parsec #7

Open
wants to merge 9 commits into
base: main
Choose a base branch
from
Open

Parse with parsec #7

wants to merge 9 commits into from

Commits on Dec 20, 2022

  1. replace the hand-rolled parser with one based on parsec

    @exarkun
    exarkun committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    4cb5418 View commit details
    Browse the repository at this point in the history

  2. relock some things 

    Also remove the redundant "test" extra in devShellForVersions call
    @exarkun
    exarkun committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    c459f4e View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2023

  1. Some annotation and documentation improvements

    @exarkun
    exarkun committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    dfad8a4 View commit details
    Browse the repository at this point in the history

  2. A few more annotation improvements

    @exarkun
    exarkun committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    3e76e61 View commit details
    Browse the repository at this point in the history

  3. Fix these two to preserve their old runtime behavior 

    The annotations were wrong before but the cast() calls hid the issue.
Preserve runtime behavior in case some application is depending on that.
    @exarkun
    exarkun committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    e8b8830 View commit details
    Browse the repository at this point in the history

  4. Some more docstrings

    @exarkun
    exarkun committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    b5b733a View commit details
    Browse the repository at this point in the history

  5. Fix a few more mypy complaints 

    Also move the mypy strictness setting from CI to local configuration for
easier dev workflow.
    @exarkun
    exarkun committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    a09c318 View commit details
    Browse the repository at this point in the history

  6. missing docstring

    @exarkun
    exarkun committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    1b05cf8 View commit details
    Browse the repository at this point in the history

  7. Quiet a couple mypy errors 

    testtools is unannotated so there's not much we can do about this right here.
    @exarkun
    exarkun committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    8319463 View commit details
    Browse the repository at this point in the history