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

Expecting one more argument to ‘TyVarBndr’ #6

Open
scarf005 opened this issue Jan 6, 2023 · 2 comments
Open

Expecting one more argument to ‘TyVarBndr’ #6

scarf005 opened this issue Jan 6, 2023 · 2 comments

Comments

@scarf005
Copy link

scarf005 commented Jan 6, 2023

Extra/Orphans3.hs:87:20: error:
     Expecting one more argument to TyVarBndr
      Expected a type, but TyVarBndr has kind ‘* -> *’
     In the first argument of Arbitrary, namely TyVarBndr
      In the instance declaration for Arbitrary TyVarBndr
   |
87 | instance Arbitrary TyVarBndr where arbitrary = oneof [PlainTV <$> arbitraryTypeVariableName, KindedTV <$> arbitraryTypeVariableName <*> arbitraryKind]
   |                    ^^^^^^^^^

ghc version: 9.0.2
cabal version: 3.6.2.0
tried command: cabal install --lib ipprint

sr-extra-1.88-3e855aff64180f90f20f463744340cb12489f7fc78cd93ff4d7557ab46b2d2bf.log

@scarf005 scarf005 changed the title Expecting one more argument to ‘TyVarBndr’ Expecting one more argument to ‘TyVarBndr’ Jan 6, 2023
@ddssff
Copy link
Member

ddssff commented Jan 18, 2023

It looks like a change in template-haskell-2.17.0.0 is causing this issue: https://hackage.haskell.org/package/template-haskell-2.17.0.0/changelog

@ddssff
Copy link
Member

ddssff commented Jan 18, 2023

I pushed a patch that requires template-haskell < 2.17, and ifdefs for when that support is available.

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

2 participants