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.

Sign up for GitHub

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

Jump to bottom

Consider moving "original" to .Unsafe #11

Open
dag opened this issue Sep 5, 2013 · 3 comments
Open

Consider moving "original" to .Unsafe #11

dag opened this issue Sep 5, 2013 · 3 comments

Comments

@dag
Copy link

dag commented Sep 5, 2013

It's debatable whether it's a true law of Eq (opinions varied in #haskell), but I'd say it certainly is an expectation that if a == b then f a == f b. The original function breaks this for the CI type.
@dag
Copy link
Author

dag commented Oct 2, 2013

Relevant discussion on reddit.

@dag
Copy link
Author

dag commented Oct 2, 2013

Relevant discussion on Haskell Cafe.

@sol
Copy link
Collaborator

sol commented May 9, 2019

@dag as I understand it this invariant is violated by other functions too, specifically show, map and traverse.

I'm tempted to close this as wontfix.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dag @sol