Skip to content

hls-hlint-plugin work with GHC 9.6 #3552

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

Conversation

wavewave
Copy link
Contributor

@wavewave wavewave commented Apr 3, 2023

so enable the flags and lift up buildable: False.

@wz1000 wz1000 force-pushed the wip/hls-1.10-fixes branch 2 times, most recently from 81a1c1f to 3732153 Compare April 5, 2023 05:58
@michaelpj
Copy link
Collaborator

This is still marked as draft, anything more needed here?

@wavewave wavewave force-pushed the wavewave/ghc96-fourmolu-hlint branch from 968910b to e1a7782 Compare April 19, 2023 22:23
@wavewave wavewave changed the base branch from wip/hls-1.10-fixes to master April 19, 2023 22:25
@wavewave
Copy link
Contributor Author

Oh. nothing more to work. sorry. It was a draft since it was on top of the other wip branch and I didn't realize it was merged.

@wavewave wavewave marked this pull request as ready for review April 19, 2023 22:30
@georgefst
Copy link
Collaborator

I've just seen this, after opening #3565 which heavily overlaps. Could we make this PR for HLint only? Since the other one is further along for Fourmolu, and in particular, I'm fairly sure is going to pass CI this time round.

@wavewave
Copy link
Contributor Author

wavewave commented Apr 21, 2023

yeah. no problems. let's merge that #3565 first. Thanks! :-)

@wavewave wavewave changed the title hls-fourmolu-plugin and hls-hlint-plugin now work with GHC 9.6 hls-hlint-plugin now work with GHC 9.6 Apr 21, 2023
@wavewave wavewave changed the title hls-hlint-plugin now work with GHC 9.6 hls-hlint-plugin work with GHC 9.6 Apr 21, 2023
Copy link
Collaborator

@fendor fendor left a comment

Choose a reason for hiding this comment

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

LGTM

@joyfulmantis
Copy link
Collaborator

Obsolete as of #3677

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.

6 participants