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

Fix build on ghc 8.4.x #56

Merged
merged 1 commit into from May 30, 2022
Merged

Conversation

donsbot
Copy link
Contributor

@donsbot donsbot commented May 30, 2022

The English spelling isn't accepted until ghc 8.6 series.
Caught by glean cI:

https://github.com/facebookincubator/Glean/runs/6646154634?check_suite_focus=true#step:18:704

The English spelling isn't accepted until ghc 8.6 series.
Caught by glean cI:

https://github.com/facebookincubator/Glean/runs/6646154634?check_suite_focus=true#step:18:704
@donsbot
Copy link
Contributor Author

donsbot commented May 30, 2022

The recent commit facfb42 introduced an accidental non-backwards compatible extension name, which causes build failures on 8.4.x series. This PR fixes it. Please merge, as this breaks the Glean CI.

@paul-rouse
Copy link
Owner

Fair enough - thanks. I'll merge and release.

I guess I should be more aggressive about the lower bound on base to limit which ghc versions can be used - I currently test new versions on 8.6.x and above, so I'd prefer users of older compilers to use older versions of mysql-simple!

@paul-rouse paul-rouse merged commit 54bc44d into paul-rouse:master May 30, 2022
facebook-github-bot pushed a commit to facebookincubator/hsthrift that referenced this pull request Jun 1, 2022
Summary:
This dep only exists for an instance of MySQL.Param, which is used no where in the OSS code.
Drop the dep entirely.

There's a separate fix to mysql-simple over on paul-rouse/mysql-simple#56 , but we don't need to wait for it.

Pull Request resolved: #87

Reviewed By: simonmar

Differential Revision: D36756634

Pulled By: pepeiborra

fbshipit-source-id: 719fb04f64657f7f6cbbc3f68cc765e76c0d63b3
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.

None yet

2 participants