Add type application to selectList documentation.#1392
Merged
parsonsmatt merged 5 commits intoyesodweb:masterfrom Apr 27, 2022
friedbrice:master
Merged
Add type application to selectList documentation.#1392parsonsmatt merged 5 commits intoyesodweb:masterfrom friedbrice:master
selectList documentation.#1392parsonsmatt merged 5 commits intoyesodweb:masterfrom
friedbrice:master
Conversation
Suggest type application for situations where the `record` type cannot be inferred.
enhance clarity
fix name of extension
Contributor
Author
|
Hmm, the build failure appears to be unrelated to my change. |
Contributor
Author
|
@parsonsmatt Thanks for re-running my build. It's a strange error. If I'm reading it right, it says there's a missing shared library? How, even? FWIW (though I know it's not much), the project builds on my machine with GHC 9.0.x |
Collaborator
|
urge to switch back to |
Collaborator
|
It looks like 9.0 is just bad on CI. Trying out 9.0.2. |
Collaborator
|
Can you merge |
Contributor
Author
|
@parsonsmatt Passed CI under GHC 9.0.2 :-D |
Collaborator
|
Thanks! 😄 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Before submitting your PR, check that you've:
stylish-haskellon any changed files..editorconfigfile for details)After submitting your PR: