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

Reporting source locations for errors #398

Merged
merged 13 commits into from
Aug 22, 2024
Merged

Reporting source locations for errors #398

merged 13 commits into from
Aug 22, 2024

Commits on Jul 24, 2024

  1. add quote and location for a few errors

    @yihozhang
    yihozhang committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    7b6cc80 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. add spans to TypeError

    @yihozhang
    yihozhang committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    aebba3e View commit details
    Browse the repository at this point in the history

  2. nits

    @yihozhang
    yihozhang committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    72c3e63 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into yihozhang-error-reporting

    @yihozhang
    yihozhang committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    b954ad2 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin' into yihozhang-error-reporting

    @yihozhang
    yihozhang committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    00049b3 View commit details
    Browse the repository at this point in the history

  5. nits

    @yihozhang
    yihozhang committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    994d8c3 View commit details
    Browse the repository at this point in the history

  6. improve doc for parse_and_run_program

    @yihozhang
    yihozhang committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    8df581d View commit details
    Browse the repository at this point in the history

  7. nits

    @yihozhang
    yihozhang committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    36bcdd5 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. add filename

    @yihozhang
    yihozhang committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    8f962be View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2024

  1. Merge remote-tracking branch 'origin' into yihozhang-error-reporting

    @yihozhang
    yihozhang committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    9933b4c View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. incorporate feedbacks

    @yihozhang
    yihozhang committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    039a672 View commit details
    Browse the repository at this point in the history

  2. add source locations to CheckError, NoSuchRuleset, CombinedRulesetError

    @yihozhang
    yihozhang committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    a9ef260 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin' into yihozhang-error-reporting

    @yihozhang
    yihozhang committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    165f5c4 View commit details
    Browse the repository at this point in the history