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

Set of extra ignored diagnostics for REPL mode #1396

Merged
merged 9 commits into from Jul 21, 2021
Merged

Set of extra ignored diagnostics for REPL mode #1396

merged 9 commits into from Jul 21, 2021

Commits on Jul 13, 2021

  1. empty commit

    @cspotcode
    cspotcode committed Jul 13, 2021
    Copy the full SHA
    9184bab View commit details
    Browse the repository at this point in the history

  2. Add mechanism to ignore diagnostics in certain files; use it to ignor… 

    …e annoying diagnostics in the REPL
    @cspotcode
    cspotcode committed Jul 13, 2021
    Copy the full SHA
    bc7fe6e View commit details
    Browse the repository at this point in the history

  3. misc cleanup of commented-out code

    @cspotcode
    cspotcode committed Jul 13, 2021
    Copy the full SHA
    ab7a688 View commit details
    Browse the repository at this point in the history

  4. Apply the new diagnostic filtering only to interactive REPL; not to [… 

    …stdin] nor [eval]
    @cspotcode
    cspotcode committed Jul 13, 2021
    Copy the full SHA
    f331a4c View commit details
    Browse the repository at this point in the history

  5. Fix missing addDiagnosticFilter implementation; lint format

    @cspotcode
    cspotcode committed Jul 13, 2021
    Copy the full SHA
    889b6c8 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2021

  1. WIP

    @cspotcode
    cspotcode committed Jul 19, 2021
    Copy the full SHA
    ea1737a View commit details
    Browse the repository at this point in the history

  2. Finish; add tests

    @cspotcode
    cspotcode committed Jul 19, 2021
    Copy the full SHA
    0153167 View commit details
    Browse the repository at this point in the history

  3. revert unnecessary formatting changes

    @cspotcode
    cspotcode committed Jul 19, 2021
    Copy the full SHA
    23d9c12 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2021

  1. Merge remote-tracking branch 'origin/main' into ab/repl-ignored-diagn… 

    …ostics
    @cspotcode
    cspotcode committed Jul 21, 2021
    Copy the full SHA
    01a7e01 View commit details
    Browse the repository at this point in the history