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

update for base 4.7 #12

Closed
joeyh opened this issue Feb 8, 2013 · 4 comments
Closed

update for base 4.7 #12

joeyh opened this issue Feb 8, 2013 · 4 comments

Comments

@joeyh
Copy link

joeyh commented Feb 8, 2013

Could this please be updated to work with base 4.7?

I tried to adjust the requirements manually, but it indeed fails to build with this version:

Control/Exception/Lifted.hs:271:8:
Cannot instantiate unification variable α1' with a type involving foralls: (forall a. m a -> m a) -> m b Perhaps you want -XImpredicativeTypes In the expression: liftBaseOp E.mask ∘ liftRestore In an equation formask': mask = liftBaseOp E.mask ∘ liftRestore

The reason I'm using such a new ghc is a bit of a long story. The recently available ghc-android cross compiler uses ghc from git, perhaps with good reason, since it does patch parts of it.

@basvandijk
Copy link
Owner

I currently don't have base-4.7 installed so I can't yet fix and test it. Would you consider making a pull request for this?

@kazu-yamamoto
Copy link
Contributor

I have a patch and can send a pull request. Do you think "base < 5" is reasonable? This is related to: basvandijk/monad-control#14

The ImpredicativeTypes extension is also necessary in addition to losing the upper limit of base.

@basvandijk
Copy link
Owner

Sure send me a pull request. base < 5 is fine.

@kazu-yamamoto
Copy link
Contributor

I sent a pull request. #15

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

No branches or pull requests

3 participants