mokus0 / th-extras

A grab bag of useful functions for use with Template Haskell

th-extras

A grab bag of useful functions for use with Template Haskell.

This is basically the place I put all my ugly CPP hacks to support the ever-changing interface of the template haskell system by providing high-level operations and making sure they work on as many versions of Template Haskell as I can.

th-extras's Issues

Could not find module `Data.Generics'

Hi,

your package seems to fail to build with current GHC and platform versions, see e.g. https://buildd.debian.org/status/fetch.php?pkg=haskell-th-extras&arch=i386&ver=0.0.0.2-1&stamp=1376003885

Greetings,
Joachim

Support GHC 9.4

AFAICT all that's needed is to relax the upper bound on template-haskell.

cc @Bodigrim @Ericson2314

Package now maintained at erikd/th-extras

This package is now maintained at https://github.com/erikd/th-extras .

Upload to Hackage

We (HLS) need a new version of this package with GHC 9 support.

Add bounds on template-haskell

Right now there are done, which leads to the broken build plans when template Haskell changes. We should fix this on master and revise existing Hackage releases.

Can't build with ghc-9.0.1

[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)
    |                            ^^^^^^^^^

Support GHC 9.2.1

Currently, I got this error:

src/Language/Haskell/TH/Extras.hs:60:18: error:
    • The constructor ‘ConP’ should have 3 arguments, but has been given 2
    • In the pattern: ConP _ pats
      In an equation for ‘namesBoundInPat’:
          namesBoundInPat (ConP _ pats) = pats >>= namesBoundInPat
   |
60 | namesBoundInPat (ConP _ pats)           = pats >>= namesBoundInPat
   |                  ^^^^^^^^^^^

Relevant: https://hackage.haskell.org/package/template-haskell-2.18.0.0/docs/Language-Haskell-TH.html#v:ConP

Move this repo to an organisation?

Currently, @erikd is a Hackage maintainer but does not have commit rights on this repo.
Maybe this repo could move to an organisation where it is collaboratively maintained. New repo admins can be added in organisations but not on personal accounts.
@mokus0 : What do you think?