Merge pull request #160 from RyanGlScott/th-abstraction-0.5

Support building with `th-abstraction-0.5.*`

Author: kosmikus

generics-sop/generics-sop.cabal

@@ -68,7 +68,7 @@ library
   build-depends:       base                 >= 4.9  && < 4.19,
                        sop-core             == 0.5.0.*,
                        template-haskell     >= 2.8  && < 2.21,
-                       th-abstraction       >= 0.4  && < 0.5,
+                       th-abstraction       >= 0.4  && < 0.6,
                        ghc-prim             >= 0.3  && < 0.11
   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