You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[1 of 1] Compiling Language.Haskell.TH.Extras ( src/Language/Haskell/TH/Extras.hs, /tmp/th-extras/dist-newstyle/build/x86_64-linux/ghc-9.0.1/th-extras-0.0.0.4/build/Language/Haskell/TH/Extras.o, /tmp/th-extras/dist-newstyle/build/x86_64-linux/ghc-9.0.1/th-extras-0.0.0.4/build/Language/Haskell/TH/Extras.dyn_o )
src/Language/Haskell/TH/Extras.hs:49:17: error:
• Expecting one more argument to ‘TyVarBndr’
Expected a type, but ‘TyVarBndr’ has kind ‘* -> *’
• In the type signature: nameOfBinder :: TyVarBndr -> Name
|
49 | nameOfBinder :: TyVarBndr -> Name
| ^^^^^^^^^
src/Language/Haskell/TH/Extras.hs:58:27: error:
• Expecting one more argument to ‘TyVarBndr’
Expected a type, but ‘TyVarBndr’ has kind ‘* -> *’
• In the type signature: varsBoundInCon :: Con -> [TyVarBndr]
|
58 | varsBoundInCon :: Con -> [TyVarBndr]
| ^^^^^^^^^
src/Language/Haskell/TH/Extras.hs:254:28: error:
• Expecting one more argument to ‘TyVarBndr’
Expected a type, but ‘TyVarBndr’ has kind ‘* -> *’
• In the first argument of ‘Q’, namely ‘([TyVarBndr], Int)’
In the type signature: tyConArity' :: Name -> Q ([TyVarBndr], Int)
|
254 | tyConArity' :: Name -> Q ([TyVarBndr], Int)
| ^^^^^^^^^
The text was updated successfully, but these errors were encountered:
anka-213
added a commit
to anka-213/th-extras
that referenced
this issue
Mar 29, 2021
The text was updated successfully, but these errors were encountered: