Skip to content

Conversation

@gelisam
Copy link
Owner

@gelisam gelisam commented Mar 16, 2023

Adding a few touch-ups on top of @junjihashimoto's #31 before merging it.

According to my experiments in #36, renaming the CI config file
mysteriously allows CI to start running again!
gelisam added 5 commits March 15, 2023 21:26
and list them in the "tested-with" section of the cabal file
This makes it easier for some tools to determine all the language
extensions which apply.
this way the test is less likely to break when the surrounding text
changes.
the purpose of the proxy argument was to make the type variables
unambiguous, but it was naming the wrong type variables.
@gelisam gelisam mentioned this pull request Mar 16, 2023
@gelisam gelisam merged commit af146d9 into main Mar 16, 2023
@gelisam gelisam deleted the gelisam/ghc-9.0 branch March 16, 2023 02:13
@gelisam gelisam mentioned this pull request Mar 16, 2023
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