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.

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

Made it possible to use Imp logging in the conformance hook #4796

Merged
merged 1 commit into from
Dec 16, 2024

Conversation

Soupstraw
Copy link
Contributor

@Soupstraw Soupstraw commented Dec 12, 2024

Description

This reverts commit d99e0cd and add some preprocessor directives to make the project compile with GHC8.

Checklist

  • Commits in meaningful sequence and with useful messages
  • Tests added or updated when needed
  • CHANGELOG.md files updated for packages with externally visible changes

    New section is never added with the code changes. (See RELEASING.md)
  • Versions updated in .cabal and CHANGELOG.md files when necessary, according to the
    versioning process.
  • Version bounds in .cabal files updated when necessary

    If you change the bounds in a cabal file, that package itself must have a version increase. (See RELEASING.md)
  • Code formatted (use scripts/fourmolize.sh)
  • Cabal files formatted (use scripts/cabal-format.sh)
  • hie.yaml updated (use scripts/gen-hie.sh)
  • Self-reviewed the diff

@Soupstraw Soupstraw force-pushed the jj/impm-forall branch 5 times, most recently from 7473e09 to 2ef9678 Compare December 13, 2024 13:56
@Soupstraw Soupstraw marked this pull request as ready for review December 13, 2024 13:56
@Soupstraw Soupstraw requested a review from a team as a code owner December 13, 2024 13:56
@Soupstraw Soupstraw changed the title Revert "Undid ImpredicativeTypes because of GHC8" Made it possible to use Imp logging in the conformance hook. Dec 13, 2024
@Soupstraw Soupstraw changed the title Made it possible to use Imp logging in the conformance hook. Made it possible to use Imp logging in the conformance hook Dec 13, 2024
@Soupstraw Soupstraw force-pushed the jj/impm-forall branch 2 times, most recently from 52f174b to 4099ed1 Compare December 13, 2024 15:20
Copy link
Contributor

@teodanciu teodanciu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me

Copy link
Collaborator

@lehins lehins left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

I also created a ticket that records removal of this CPP stuff once ghc-8.10 is dropped: #4798

@lehins
Copy link
Collaborator

lehins commented Dec 13, 2024

It seems like hydra isn't too happy with this solution for some reason. There are some problems when building with ghc-8.10.7 on hydra CI. 🤷

@Soupstraw Soupstraw enabled auto-merge (rebase) December 16, 2024 11:07
@Soupstraw Soupstraw merged commit 65ef348 into master Dec 16, 2024
154 checks passed
@Soupstraw Soupstraw deleted the jj/impm-forall branch December 16, 2024 12:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants