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

text lower bound to 1.2.3.* #2

Open
ktonga opened this issue Nov 22, 2020 · 1 comment
Open

text lower bound to 1.2.3.* #2

ktonga opened this issue Nov 22, 2020 · 1 comment

Comments

@ktonga
Copy link

ktonga commented Nov 22, 2020

text 1.2.4.0 does not build with ghc 8.10

@ktonga
Copy link
Author

ktonga commented Nov 22, 2020

I also had to relax upper bounds for lens and servant* for it to resolve deps. But then it failed to compile type-fun with following error:

src/TypeFun/Data/List.hs:116:12: error:
    • Cannot instantiate unification variable ‘b1’
      with a type involving polytypes:
        proxy l -> ((l ~ (l :++: '[])) => r) -> r
        GHC doesn't yet support impredicative polymorphism
    • In the expression: unsafeCoerce id
      In an equation for ‘appendId’: appendId = unsafeCoerce id
    • Relevant bindings include
        appendId :: proxy l -> ((l ~ (l :++: '[])) => r) -> r
          (bound at src/TypeFun/Data/List.hs:116:1)
    |
116 | appendId = unsafeCoerce id
    |            ^^^^^^^^^^^^^^^

src/TypeFun/Data/List.hs:175:15: error:
    • Cannot instantiate unification variable ‘b0’
      with a type involving polytypes: (SubList l l => r) -> r
        GHC doesn't yet support impredicative polymorphism
    • In the expression: unsafeCoerce id
      In an equation for ‘subListId’: subListId _ = unsafeCoerce id
    • Relevant bindings include
        subListId :: proxy l -> (SubList l l => r) -> r
          (bound at src/TypeFun/Data/List.hs:175:1)
    |
175 | subListId _ = unsafeCoerce id
    |               ^^^^^^^^^^^^^^^
cabal: Failed to build type-fun-0.1.2 (which is required by
telegram-types-0.4.1). See the build log above for details.

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

1 participant