Support building with th-abstraction-0.5.*

`th-abstraction-0.5.0.0` introduces a `TypeData` constructor for
`DatatypeVariant` that characterizes `type data` declarations (introduced in
GHC 9.6). Because `type data` data constructors only exist at the type level,
not the value level, it doesn't make sense to define `Generic` instances for a
`type data` declaration. As a result, this patch makes it an error to use
`generics-sop`'s TH machinery in conjunction with a `type data` declaration.

Author: RyanGlScott

generics-sop/generics-sop.cabal

@@ -68,7 +68,7 @@ library
   build-depends:       base                 >= 4.9  && < 4.18,
                        sop-core             == 0.5.0.*,
                        template-haskell     >= 2.8  && < 2.20,
-                       th-abstraction       >= 0.4  && < 0.5,
+                       th-abstraction       >= 0.4  && < 0.6,
                        ghc-prim             >= 0.3  && < 0.10
   hs-source-dirs:      src
   default-language:    Haskell2010

generics-sop/src/Generics/SOP/TH.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 {-# LANGUAGE TemplateHaskell #-}
 -- | Generate @generics-sop@ boilerplate instances using Template Haskell.
 module Generics.SOP.TH
@@ -580,8 +581,18 @@ withDataDec (TH.DatatypeInfo { datatypeContext   = ctxt
                              , datatypeInstTypes = instTypes
                              , datatypeVariant   = variant
                              , datatypeCons      = cons }) f =
+  checkForTypeData variant $
   f variant ctxt name bndrs instTypes cons
 
+checkForTypeData :: DatatypeVariant -> Q a -> Q a
+checkForTypeData variant q = do
+  case variant of
+#if MIN_VERSION_th_abstraction(0,5,0)
+    TH.TypeData -> fail $ "`type data` declarations not supported"
+#endif
+    _ -> return ()
+  q
+
 checkForGADTs :: TH.ConstructorInfo -> Q a -> Q a
 checkForGADTs (ConstructorInfo { constructorVars    = exVars
                                , constructorContext = exCxt }) q = do
@@ -594,3 +605,6 @@ isNewtypeVariant Datatype        = False
 isNewtypeVariant DataInstance    = False
 isNewtypeVariant Newtype         = True
 isNewtypeVariant NewtypeInstance = True
+#if MIN_VERSION_th_abstraction(0,5,0)
+isNewtypeVariant TH.TypeData     = False
+#endif