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

servant-server: Fix build on GHC 9.2.1 #1525

Merged
merged 1 commit into from
Feb 7, 2022

Conversation

k0001
Copy link
Contributor

@k0001 k0001 commented Feb 4, 2022

The issue is similar to the one in #1513:

src/Servant/Server/Internal.hs:824:10: error:
    • Uninferrable type variable k0 in
      type family equation right-hand side: (TypeError ...)
    • In the type instance declaration for ‘ServerT’
      In the instance declaration for
        ‘HasServer ((arr :: a -> b) :> sub) context’
    |
824 |     type ServerT (arr :> sub) _ = TypeError (PartialApplication HasServer arr)
    |

This fix is similar to the one in #1514.

The issue is similar to the one in haskell-servant#1513:

```
src/Servant/Server/Internal.hs:824:10: error:
    • Uninferrable type variable k0 in
      type family equation right-hand side: (TypeError ...)
    • In the type instance declaration for ‘ServerT’
      In the instance declaration for
        ‘HasServer ((arr :: a -> b) :> sub) context’
    |
824 |     type ServerT (arr :> sub) _ = TypeError (PartialApplication HasServer arr)
    |
```

This fix is similar to the one in haskell-servant#1514.
@ysangkok
Copy link
Contributor

ysangkok commented Feb 6, 2022

I think it is good idea to apply smaller patches like this instead of a giant PR with lots of allow-newer.

@gdeest
Copy link
Contributor

gdeest commented Feb 7, 2022

Thanks !

@gdeest gdeest merged commit 67322d8 into haskell-servant:master Feb 7, 2022
@ysangkok ysangkok mentioned this pull request Feb 7, 2022
@srid srid mentioned this pull request Feb 7, 2022
11 tasks
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

Successfully merging this pull request may close these issues.

3 participants