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

Pedantic ghcide #3751

Merged
merged 21 commits into from
Aug 22, 2023
Merged

Pedantic ghcide #3751

merged 21 commits into from
Aug 22, 2023

Commits on Aug 10, 2023

  1. WIP

    @joyfulmantis
    joyfulmantis committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    7132d1c View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2023

  1. cleanup cpp, mark 8.10 redundant imports

    @joyfulmantis
    joyfulmantis committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    1c408ee View commit details
    Browse the repository at this point in the history

  2. merge upstream/master

    @joyfulmantis
    joyfulmantis committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    13c34c6 View commit details
    Browse the repository at this point in the history

  3. Fix build problems

    @joyfulmantis
    joyfulmantis committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    920a184 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2023

  1. Remove all redundant imports

    @joyfulmantis
    joyfulmantis committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    aa72411 View commit details
    Browse the repository at this point in the history

  2. fix instance error

    @joyfulmantis
    joyfulmantis committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    0a50895 View commit details
    Browse the repository at this point in the history

  3. fix 9.2 build

    @joyfulmantis
    joyfulmantis committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    889326e View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2023

  1. fix name-shadowing

    @joyfulmantis
    joyfulmantis committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    d067793 View commit details
    Browse the repository at this point in the history

  2. Fix build errors

    @joyfulmantis
    joyfulmantis committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    8cf7641 View commit details
    Browse the repository at this point in the history

  3. turn on pedantic for 9.0 and 9.2, and temp disable fast fail

    @joyfulmantis
    joyfulmantis committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    4b527c7 View commit details
    Browse the repository at this point in the history

  4. fix 9.6 flags issue

    @joyfulmantis
    joyfulmantis committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    93fbde8 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2023

  1. rewind some changes to fix test failures

    @joyfulmantis
    joyfulmantis committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    0523bc8 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2023

  1. fix flags

    @joyfulmantis
    joyfulmantis committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    9873f42 View commit details
    Browse the repository at this point in the history

  2. fix flags

    @joyfulmantis
    joyfulmantis committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    4bee82e View commit details
    Browse the repository at this point in the history

  3. fix unused-top-binds unused-local-binds orphans unused-matches and un… 

    …ticked-promoted-constructors
    @joyfulmantis
    joyfulmantis committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    a9c9e2e View commit details
    Browse the repository at this point in the history

  4. fix flags

    @joyfulmantis
    joyfulmantis committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    5b50bc1 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2023

  1. fix flags

    @joyfulmantis
    joyfulmantis committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    cd6c526 View commit details
    Browse the repository at this point in the history

  2. revert temporary flags workflow changes

    @joyfulmantis
    joyfulmantis committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    4a7bac5 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into ghcide-pedantic

    @joyfulmantis
    joyfulmantis authored Aug 18, 2023
    Configuration menu
    Copy the full SHA
    6ced27e View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2023

  1. address michealpj and fendor's comments

    @joyfulmantis
    joyfulmantis committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    e697bff View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into ghcide-pedantic

    @michaelpj
    michaelpj authored Aug 22, 2023
    Configuration menu
    Copy the full SHA
    8ee3e6f View commit details
    Browse the repository at this point in the history