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

Type checking with expected type errors #303

Merged
merged 11 commits into from
Feb 7, 2021
Merged

Type checking with expected type errors #303

merged 11 commits into from
Feb 7, 2021

Commits on Feb 6, 2021

  1. Update logging option messages

    @soutaro
    soutaro committed Feb 6, 2021
    Configuration menu
    Copy the full SHA
    3a87550 View commit details
    Browse the repository at this point in the history

  2. Add Expectations class

    @soutaro
    soutaro committed Feb 6, 2021
    Configuration menu
    Copy the full SHA
    e18d675 View commit details
    Browse the repository at this point in the history

  3. Let DiagnosticPrinter print with prefix

    @soutaro
    soutaro committed Feb 6, 2021
    Configuration menu
    Copy the full SHA
    f39bbde View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2021

  1. Add --with-expectations and --save-expectations option

    @soutaro
    soutaro committed Feb 7, 2021
    Configuration menu
    Copy the full SHA
    e827ac7 View commit details
    Browse the repository at this point in the history

  2. Key not included in expectations file means no error is expected

    @soutaro
    soutaro committed Feb 7, 2021
    Configuration menu
    Copy the full SHA
    19dcbc8 View commit details
    Browse the repository at this point in the history

  3. Pluralize messages in check.rb

    @soutaro
    soutaro committed Feb 7, 2021
    Configuration menu
    Copy the full SHA
    8ef47ef View commit details
    Browse the repository at this point in the history

  4. Fix diagnostic_printer

    @soutaro
    soutaro committed Feb 7, 2021
    Configuration menu
    Copy the full SHA
    c6fa38d View commit details
    Browse the repository at this point in the history

  5. Update messages

    @soutaro
    soutaro committed Feb 7, 2021
    Configuration menu
    Copy the full SHA
    c9bc954 View commit details
    Browse the repository at this point in the history

  6. Add test

    @soutaro
    soutaro committed Feb 7, 2021
    Configuration menu
    Copy the full SHA
    d14d194 View commit details
    Browse the repository at this point in the history

  7. Move broken test to unit-test

    @soutaro
    soutaro committed Feb 7, 2021
    Configuration menu
    Copy the full SHA
    71b4a52 View commit details
    Browse the repository at this point in the history

  8. Move output test using --with-expectations

    @soutaro
    soutaro committed Feb 7, 2021
    Configuration menu
    Copy the full SHA
    6c301cd View commit details
    Browse the repository at this point in the history