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

Re-evaluate "limitations" now that GHC 8 is out #36

Open
rpglover64 opened this issue May 31, 2016 · 3 comments
Open

Re-evaluate "limitations" now that GHC 8 is out #36

rpglover64 opened this issue May 31, 2016 · 3 comments

Comments

@rpglover64
Copy link

(I'm filing this just so that there is an issue, not because I expect it to be fixed any time soon)

Two of the points in the "Limitations" section refer to now-closed bugs with extensions available in GHC 8: UndecidableSuperClasses and TypeFamilyDependencies.
@mikeizbicki
Copy link
Owner

Thanks for filing the issue.

  1. The UndecidableSuperClasses is exactly what I wanted, and I'm in the process of roling that out.
  2. The TypeFamilyDependencies extension is extremely limited in the injectivity that is supported. I don't think this extension solves any of the problems that I was running into.

@rpglover64
Copy link
Author

Are there trac tickets for the problems it doesn't solve? I'm curious.

@mikeizbicki
Copy link
Owner

Here's an example: https://ghc.haskell.org/trac/ghc/ticket/12114

More generally, I need what this page describes as "Type C injectivity". Since types A and B aren't fully implemented yet, however, this seems like it's probably a long way off.

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
@rpglover64 @mikeizbicki