This repository was archived by the owner on Nov 28, 2018. It is now read-only.
Define some and many in Alternative PE instance #1
Conversation
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
The default definitions of some and many can loop. I believe this is a manifestation of GHC #11650, but I didn't look very closely. Overriding the default definitions resolves the issue.
Author
|
Ping. Also, if you would like help maintaining this package I would be happy to lend a hand as I'm actively using it. |
Collaborator
|
@bgamari I've never actively used this package; I just wanted to keep it alive. If you're using it and wouldn't mind I can give you access or hand it over? |
Author
|
I would be happy to take it. Thanks for watching over it in the past. |
Collaborator
|
I've added you as maintainer on hackage! |
As one doesn't exist.
Author
|
Chris Done <[email protected]> writes:
I've added you as maintainer on hackage!
I've released 0.2.1 with this change, the Semigroup/Monoid change, and
some metadata updates.
Thanks again for picking up this package.
|
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
2 participants
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.
The default definitions of some and many can loop. I believe this is a
manifestation of GHC #11650, but I didn't look very closely. Overriding
the default definitions resolves the issue.