diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,6 +1,10 @@
 # Revision history for generic-storable-plugin
 
-## 0.2.3.3  -- 2021-07-12
+## 0.2.3.5  -- 2022-04-03
+
+* Adding support for GHC 9.2.1 [thanks to dpwiz](https://github.com/mkloczko/derive-storable-plugin/pull/6).
+
+## 0.2.3.4  -- 2021-07-12
 
 * Adding support for GHC 9.0.1
 
diff --git a/derive-storable-plugin.cabal b/derive-storable-plugin.cabal
--- a/derive-storable-plugin.cabal
+++ b/derive-storable-plugin.cabal
@@ -2,7 +2,7 @@
 -- further documentation, see http://haskell.org/cabal/users-guide/
 
 name:                derive-storable-plugin
-version:             0.2.3.4
+version:             0.2.3.5
 synopsis:            GHC core plugin supporting the derive-storable package.
 description:         The package helps derive-storable package in forcing compile time evaluation of
                      sizes, alignments and offsets.
@@ -16,7 +16,7 @@
 build-type:          Simple
 extra-source-files:  ChangeLog.md README.md
 cabal-version:       >=1.10
-tested-with:         GHC==8.2.2, GHC==8.4.2, GHC==8.6.5, GHC==8.8.1, GHC==8.10.2,GHC==9.0.1
+tested-with:         GHC==8.2.2, GHC==8.4.2, GHC==8.6.5, GHC==8.8.1, GHC==8.10.7, GHC==9.0.2, GHC==9.2.2
 
 Flag sumtypes
   Description:   Use sumtypes within benchmark and tests.
@@ -32,7 +32,7 @@
                        , Foreign.Storable.Generic.Plugin.Internal.Predicates
                        , Foreign.Storable.Generic.Plugin.Internal.Types
   other-extensions:    DeriveGeneric, DeriveAnyClass, PatternGuards
-  build-depends:       base >=4.10 && <5, ghc >= 8.2 && < 9.1, ghci >= 8.2 && < 9.1, derive-storable >= 0.3 && < 0.4
+  build-depends:       base >=4.10 && <5, ghc >= 8.2 && < 9.3, ghci >= 8.2 && < 9.3, derive-storable >= 0.3 && < 0.4
   hs-source-dirs:      src
   default-language:    Haskell2010
 
@@ -48,6 +48,9 @@
   if flag(sumtypes)
     cpp-options: -DGSTORABLE_SUMTYPES
 
+  if impl(ghc < 8.4)
+    build-depends: text < 1.2.5.0
+
 test-suite c_alignment
   type:                exitcode-stdio-1.0
   
@@ -57,7 +60,7 @@
   other-modules:       TestCases 
   build-depends:       base >= 4.10 && < 5, derive-storable, derive-storable-plugin
                      , hspec >= 2.4, QuickCheck >= 2.10
-                     , ghc >= 8.2 && < 9.1, ghci >= 8.2 && < 9.1
+                     , ghc >= 8.2 && < 9.3, ghci >= 8.2 && < 9.3
   
   default-language:    Haskell2010
   if flag(sumtypes)
diff --git a/src/Foreign/Storable/Generic/Plugin/Internal.hs b/src/Foreign/Storable/Generic/Plugin/Internal.hs
--- a/src/Foreign/Storable/Generic/Plugin/Internal.hs
+++ b/src/Foreign/Storable/Generic/Plugin/Internal.hs
@@ -32,7 +32,12 @@
 import GHC.Types.SrcLoc (noSrcSpan)
 import GHC.Types.Unique (getUnique)
 import GHC.Driver.Main (hscCompileCoreExpr, getHscEnv)
+#if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+import GHC.Driver.Env.Types (HscEnv)
+import GHC.Unit.Module.ModGuts (ModGuts(..))
+#else
 import GHC.Driver.Types (HscEnv,ModGuts(..))
+#endif
 import GHC.Core.Opt.Monad
     (CoreM, CoreToDo(..), 
      getHscEnv, getDynFlags, putMsg, putMsgS)
@@ -44,7 +49,7 @@
 import GHC.Core.DataCon    (dataConWorkId,dataConOrigArgTys) 
 import GHC.Core.Make       (mkWildValBinder)
 import GHC.Utils.Outputable 
-    (cat, ppr, SDoc, showSDocUnsafe, showSDoc, 
+    (cat, ppr, SDoc, showSDocUnsafe,
      ($$), ($+$), hsep, vcat, empty,text, 
      (<>), (<+>), nest, int, colon,hcat, comma, 
      punctuate, fsep) 
@@ -73,7 +78,7 @@
 import DataCon    (dataConWorkId,dataConOrigArgTys) 
 import MkCore (mkWildValBinder)
 import Outputable 
-    (cat, ppr, SDoc, showSDocUnsafe, showSDoc, 
+    (cat, ppr, SDoc, showSDocUnsafe,
      ($$), ($+$), hsep, vcat, empty,text, 
      (<>), (<+>), nest, int, colon,hcat, comma, 
      punctuate, fsep) 
@@ -225,7 +230,6 @@
             other ->    text "The following bindings are to be optimised:"
                     $+$ nest 4 txt
         print_binding id = ppr id
-        max_nest = maximum $ 0 : map (length.(showSDoc dyn_flags).ppr) ids
         -- Print groups of types
         printer the_groups = case the_groups of
             [] -> return ()
diff --git a/src/Foreign/Storable/Generic/Plugin/Internal/Compile.hs b/src/Foreign/Storable/Generic/Plugin/Internal/Compile.hs
--- a/src/Foreign/Storable/Generic/Plugin/Internal/Compile.hs
+++ b/src/Foreign/Storable/Generic/Plugin/Internal/Compile.hs
@@ -42,7 +42,7 @@
 import Prelude hiding ((<>))
 
 #if MIN_VERSION_GLASGOW_HASKELL(9,0,1,0)
-import GHC.Core (Bind(..),Expr(..), CoreExpr, CoreBind, CoreProgram, Alt, AltCon(..), isId, Unfolding(..))
+import GHC.Core (Bind(..),Expr(..), CoreExpr, CoreBind, CoreProgram, Alt(..), AltCon(..), isId, Unfolding(..))
 import GHC.Types.Literal (Literal(..))
 import GHC.Types.Id      (isLocalId, isGlobalId,setIdInfo, Id)
 import GHC.Types.Id.Info (IdInfo(..))
@@ -53,7 +53,13 @@
 import GHC.Types.SrcLoc (noSrcSpan,SrcSpan)
 import GHC.Types.Unique (getUnique)
 import GHC.Driver.Main (hscCompileCoreExpr)
+#if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+import GHC.Data.Bag (bagToList)
+import GHC.Driver.Env.Types (HscEnv)
+import GHC.Unit.Module.ModGuts (ModGuts(..))
+#else
 import GHC.Driver.Types (HscEnv,ModGuts(..))
+#endif
 import GHC.Core.Opt.Monad (CoreM,CoreToDo(..),getHscEnv,getDynFlags)
 import GHC.Core.Lint (lintExpr)
 import GHC.Types.Basic (CompilerPhase(..), Boxity(..))
@@ -188,7 +194,7 @@
     e_compiled <- liftIO $ try $ 
                     compileExpr hsc_env core_expr (getSrcSpan id) :: CoreM (Either SomeException a)
     case e_compiled of
-        Left  se  -> return $ Left $ CompilationError (NonRec id core_expr) (stringToPpr $ show se)
+        Left  se  -> return $ Left $ CompilationError (NonRec id core_expr) [stringToPpr $ show se]
         Right val-> return $ Right val
 
 ----------------------
@@ -232,7 +238,7 @@
     case m_t of
         Just t ->  return $ NonRec id <$> (Lam l1 <$> (Lam l2 <$> (intToExpr t <$> the_integer)))
         Nothing -> 
-            return the_integer >> return $ Left $ CompilationError b (text "Type not found")
+            return the_integer >> return $ Left $ CompilationError b [text "Type not found"]
 -- Without GSTORABLE_SUMPTYPES
 intSubstitution b@(NonRec id (Lam l1 expr)) = do
     -- Get HscEnv
@@ -243,7 +249,7 @@
     case m_t of
         Just t ->  return $ NonRec id <$> (intToExpr t <$> the_integer)
         Nothing -> 
-            return the_integer >> return $ Left $ CompilationError b (text "Type not found")
+            return the_integer >> return $ Left $ CompilationError b [text "Type not found"]
 -- For GHC <= 8.6.5
 intSubstitution b@(NonRec id e@(App expr g)) = case expr of
      Lam _ (Lam _ (Lam _ e)) -> intSubstitution $ NonRec id expr
@@ -268,7 +274,7 @@
         Just t ->  return $ NonRec id <$> (intToExpr t <$> the_integer)
         -- If the compilation error occured, first return it.
         Nothing -> 
-            return the_integer >> return $ Left $ CompilationError (NonRec id expr) (text "Type not found")
+            return the_integer >> return $ Left $ CompilationError (NonRec id expr) [text "Type not found"]
 -----------------------
 -- peek substitution --
 -----------------------
@@ -281,10 +287,10 @@
     let ne_subs = case e_subs of
              -- Add the text from other error.
              Left (OtherError sdoc) 
-                 -> Left $ CompilationError b sdoc
+                 -> Left $ CompilationError b [sdoc]
              -- Add the information about uncompiled expr.
              Left err@(CompilationError _ _) 
-                 -> Left $ CompilationError b (pprError Some err)
+                 -> Left $ CompilationError b [pprError Some err]
              a   -> a
 
     return $ NonRec id <$> e_subs
@@ -307,8 +313,10 @@
 instance Outputable OffsetScope where
     ppr (IntList    id expr) = ppr id <+> ppr (getUnique id) <+> comma <+> ppr expr
     ppr (IntPrimVal id expr) = ppr id <+> ppr (getUnique id) <+> comma <+> ppr expr
-    pprPrec _ el = ppr el
 
+#if !MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+    pprPrec _ el = ppr el
+#endif
 
 -- | Create a list expression from Haskell list.
 intListExpr :: [Int] -> CoreExpr
@@ -486,7 +494,11 @@
     -- Compile case_expr and put it in scope as x#
     -- case_expr is of format $w!! @Int offsets 0#
     | Case case_expr _ _ [alt0] <- expr
+#if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+    , (Alt (DataAlt i_prim_con) [x_id] alt_expr) <- alt0
+#else
     , (DataAlt i_prim_con, [x_id], alt_expr) <- alt0
+#endif
     , i_prim_con == intDataCon
     , Just new_case_expr <- caseExprIndex scope case_expr
     = do 
@@ -498,13 +510,26 @@
     -- Normal case expressions. 
     | Case case_expr cb t alts <- expr
     = do
-        e_new_alts <- mapM (\(a, args, a_expr) -> (,,) a args <$> offsetSubstitutionTree scope a_expr) alts
+#if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+        let mkAlt = Alt
+#else
+        let mkAlt = (,,)
+#endif
+
+        e_new_alts <- flip mapM alts $
+#if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+          \(Alt a args a_expr) ->
+#else
+          \(a, args, a_expr) ->
+#endif
+            (,,) a args <$> offsetSubstitutionTree scope a_expr
+
         new_case_expr <- offsetSubstitutionTree scope case_expr
         -- Find the first error in alternative compilation
         let c_err = find (\(_,_,e) -> isLeft e) e_new_alts
         case c_err of
             Nothing -> return $ Case <$> new_case_expr 
-                <*> pure cb <*> pure t <*> pure [(a,b,ne) | (a,b,Right ne)  <- e_new_alts]
+                <*> pure cb <*> pure t <*> pure [mkAlt a b ne | (a,b,Right ne)  <- e_new_alts]
             Just (_,_,err) -> return err
     -- Variable. Return it or try to replace it.
     -- Must be here, otherwise other substitutions won't happen
@@ -566,14 +591,26 @@
 lintBind b_old b@(NonRec id expr) = do
     dyn_flags <- getDynFlags
     case lintExpr dyn_flags [] expr of
-        Just sdoc -> (return $ Left $ CompilationError b_old sdoc)
-        Nothing   -> return $ Right b
+        Just sdoc -> do
+#if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+            let err = bagToList sdoc
+#else
+            let err = [sdoc]
+#endif
+            return $ Left $ CompilationError b_old err
+        Nothing ->
+            return $ Right b
 lintBind b_old b@(Rec bs) = do
     dyn_flags <- getDynFlags
     let errs = mapMaybe (\(_,expr) -> lintExpr dyn_flags [] expr) bs
+#if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+    let convert = foldMap bagToList
+#else
+    let convert = id
+#endif
     case errs of
         [] -> return $ Right b
-        _  -> return $ Left $ CompilationError b_old (vcat errs)
+        _  -> return $ Left $ CompilationError b_old (convert errs)
 
 -- | Substitutes the localIds inside the bindings with bodies of provided bindings.
 replaceIdsBind :: [CoreBind] -- ^ Replace with - for GStorable bindings
@@ -616,7 +653,11 @@
 -- Replace the case_expression and the altenatives.
 replaceIds gstorable_bs other_bs (Case e ev t alts) = do
     let new_e = replaceIds gstorable_bs other_bs e
-        new_alts = map (\(alt, ids, exprs) -> (alt,ids, replaceIds gstorable_bs other_bs exprs)) alts
+#if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+    let new_alts = map (\(Alt alt ids exprs) -> Alt alt ids (replaceIds gstorable_bs other_bs exprs)) alts
+#else
+    let new_alts = map (\(alt, ids, exprs) -> (alt, ids, replaceIds gstorable_bs other_bs exprs)) alts
+#endif
     Case new_e ev t new_alts
 -- Replace the expression in Cast
 replaceIds gstorable_bs other_bs (Cast e c) = Cast (replaceIds gstorable_bs other_bs e) c
diff --git a/src/Foreign/Storable/Generic/Plugin/Internal/Error.hs b/src/Foreign/Storable/Generic/Plugin/Internal/Error.hs
--- a/src/Foreign/Storable/Generic/Plugin/Internal/Error.hs
+++ b/src/Foreign/Storable/Generic/Plugin/Internal/Error.hs
@@ -45,13 +45,13 @@
 data Flags = Flags Verbosity CrashOnWarning
 
 -- | All possible errors.
-data Error = TypeNotFound Id                       -- ^ Could not obtain the type from the id.
-           | RecBinding CoreBind                   -- ^ The binding is recursive and won't be substituted.
-           | CompilationNotSupported CoreBind      -- ^ The compilation-substitution is not supported for the given binding.
-           | CompilationError        CoreBind SDoc -- ^ Error during compilation. The CoreBind is to be returned.
-           | OrderingFailedBinds Int [CoreBind]    -- ^ Ordering failed for core bindings.
-           | OrderingFailedTypes Int [Type]        -- ^ Ordering failed for types
-           | OtherError          SDoc              -- ^ Any other error.
+data Error = TypeNotFound Id                         -- ^ Could not obtain the type from the id.
+           | RecBinding CoreBind                     -- ^ The binding is recursive and won't be substituted.
+           | CompilationNotSupported CoreBind        -- ^ The compilation-substitution is not supported for the given binding.
+           | CompilationError        CoreBind [SDoc] -- ^ Error during compilation. The CoreBind is to be returned.
+           | OrderingFailedBinds Int [CoreBind]      -- ^ Ordering failed for core bindings.
+           | OrderingFailedTypes Int [Type]          -- ^ Ordering failed for types
+           | OtherError          SDoc                -- ^ Any other error.
 
 pprTypeNotFound :: Verbosity -> Id -> SDoc
 pprTypeNotFound None _  = empty 
@@ -141,7 +141,7 @@
 pprError verb (TypeNotFound            id  ) = pprTypeNotFound verb id
 pprError verb (RecBinding              bind) = pprRecBinding   verb bind
 pprError verb (CompilationNotSupported bind) = pprCompilationNotSupported verb bind
-pprError verb (CompilationError    bind str) = pprCompilationError verb bind str
+pprError verb (CompilationError    bind str) = pprCompilationError verb bind $ vcat str
 pprError verb (OrderingFailedBinds d    bs) = pprOrderingFailedBinds verb d bs
 pprError verb (OrderingFailedTypes d    ts) = pprOrderingFailedTypes verb d ts
 pprError verb (OtherError          sdoc   ) = pprOtherError          verb sdoc
diff --git a/src/Foreign/Storable/Generic/Plugin/Internal/GroupTypes.hs b/src/Foreign/Storable/Generic/Plugin/Internal/GroupTypes.hs
--- a/src/Foreign/Storable/Generic/Plugin/Internal/GroupTypes.hs
+++ b/src/Foreign/Storable/Generic/Plugin/Internal/GroupTypes.hs
@@ -32,7 +32,12 @@
 import GHC.Types.SrcLoc (noSrcSpan)
 import GHC.Types.Unique (getUnique)
 import GHC.Driver.Main (hscCompileCoreExpr, getHscEnv)
+#if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+import GHC.Driver.Env.Types (HscEnv)
+import GHC.Unit.Module.ModGuts (ModGuts(..))
+#else
 import GHC.Driver.Types (HscEnv,ModGuts(..))
+#endif
 import GHC.Core.Opt.Monad (CoreM,CoreToDo(..))
 import GHC.Types.Basic (CompilerPhase(..))
 import GHC.Core.Type hiding (eqType)
diff --git a/src/Foreign/Storable/Generic/Plugin/Internal/Helpers.hs b/src/Foreign/Storable/Generic/Plugin/Internal/Helpers.hs
--- a/src/Foreign/Storable/Generic/Plugin/Internal/Helpers.hs
+++ b/src/Foreign/Storable/Generic/Plugin/Internal/Helpers.hs
@@ -13,7 +13,7 @@
 module Foreign.Storable.Generic.Plugin.Internal.Helpers where
 
 #if MIN_VERSION_GLASGOW_HASKELL(9,0,1,0)
-import GHC.Core          (Bind(..),Expr(..), CoreExpr, CoreBind, CoreProgram, Alt)
+import GHC.Core          (Bind(..),Expr(..), CoreExpr, CoreBind, CoreBndr, CoreProgram, Alt(..))
 import GHC.Types.Literal (Literal(..))
 import GHC.Types.Id      (isLocalId, isGlobalId,Id)
 import GHC.Types.Var             (Var(..))
@@ -23,7 +23,12 @@
 import GHC.Types.SrcLoc (noSrcSpan)
 import GHC.Types.Unique (getUnique)
 import GHC.Driver.Main (hscCompileCoreExpr, getHscEnv)
+#if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+import GHC.Driver.Env.Types (HscEnv)
+import GHC.Unit.Module.ModGuts (ModGuts(..))
+#else
 import GHC.Driver.Types (HscEnv,ModGuts(..))
+#endif
 import GHC.Core.Opt.Monad (CoreM,CoreToDo(..))
 import GHC.Types.Basic (CompilerPhase(..))
 import GHC.Core.Type (isAlgType, splitTyConApp_maybe)
@@ -104,17 +109,25 @@
 
 -- | Get all IDs from CoreExpr
 getIdsExpr :: CoreExpr -> [Id]
-getIdsExpr (Var id)    = [id]
-getIdsExpr (App e1 e2) = concat [getIdsExpr e1, getIdsExpr e2]
-getIdsExpr (Lam id e)  = id : getIdsExpr e
+getIdsExpr (Var id)          = [id]
+getIdsExpr (App e1 e2)       = concat [getIdsExpr e1, getIdsExpr e2]
+getIdsExpr (Lam id e)        = id : getIdsExpr e
 -- Ids from bs are ignored, as they are supposed to appear in e argument.
-getIdsExpr (Let bs e)  = concat [getIdsExpr e, concatMap getIdsExpr (getExprsBind bs)]
+getIdsExpr (Let bs e)        = concat [getIdsExpr e, concatMap getIdsExpr (getExprsBind bs)]
 -- The case_binder is ignored - the evaluated expression might appear on the rhs of alts
-getIdsExpr (Case e _ _ alts) = concat $ getIdsExpr e : map (\(_,_,e_c) -> getIdsExpr e_c) alts
-getIdsExpr (Cast e _) = getIdsExpr e 
-getIdsExpr _           = []
+getIdsExpr (Case e _ _ alts) = concat $ getIdsExpr e : map extractAlt alts
+getIdsExpr (Cast e _)        = getIdsExpr e
+getIdsExpr _                 = []
 
+#if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+extractAlt :: Alt CoreBndr -> [Id]
+extractAlt (Alt _ac _bs expr) = getIdsExpr expr
+#else
+extractAlt :: (a, b, CoreExpr) -> [Id]
+extractAlt (_, _, e_c) = getIdsExpr e_c
+#endif
 
+
 ------------
 -- others --
 ------------
@@ -249,4 +262,3 @@
     = ForAllTy b t2
     | otherwise
     = t
-
diff --git a/src/Foreign/Storable/Generic/Plugin/Internal/Predicates.hs b/src/Foreign/Storable/Generic/Plugin/Internal/Predicates.hs
--- a/src/Foreign/Storable/Generic/Plugin/Internal/Predicates.hs
+++ b/src/Foreign/Storable/Generic/Plugin/Internal/Predicates.hs
@@ -76,7 +76,12 @@
 import GHC.Types.SrcLoc (noSrcSpan)
 import GHC.Types.Unique (getUnique)
 import GHC.Driver.Main (hscCompileCoreExpr, getHscEnv)
+#if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+import GHC.Driver.Env.Types (HscEnv)
+import GHC.Unit.Module.ModGuts (ModGuts(..))
+#else
 import GHC.Driver.Types (HscEnv,ModGuts(..))
+#endif
 import GHC.Core.Opt.Monad (CoreM,CoreToDo(..))
 import GHC.Types.Basic (CompilerPhase(..))
 import GHC.Core.Type (isAlgType, splitTyConApp_maybe)
@@ -277,4 +282,3 @@
     let ty_checked = ty_f $ varType id
         id_checked = id_f id
     and [isJust ty_checked, id_checked]
-
diff --git a/src/Foreign/Storable/Generic/Plugin/Internal/Types.hs b/src/Foreign/Storable/Generic/Plugin/Internal/Types.hs
--- a/src/Foreign/Storable/Generic/Plugin/Internal/Types.hs
+++ b/src/Foreign/Storable/Generic/Plugin/Internal/Types.hs
@@ -51,7 +51,12 @@
 import GHC.Types.SrcLoc (noSrcSpan)
 import GHC.Types.Unique (getUnique)
 import GHC.Driver.Main (hscCompileCoreExpr, getHscEnv)
+#if MIN_VERSION_GLASGOW_HASKELL(9,2,0,0)
+import GHC.Driver.Env.Types (HscEnv)
+import GHC.Unit.Module.ModGuts (ModGuts(..))
+#else
 import GHC.Driver.Types (HscEnv,ModGuts(..))
+#endif
 import GHC.Core.Opt.Monad (CoreM,CoreToDo(..))
 import GHC.Types.Basic (CompilerPhase(..))
 import GHC.Core.Type (isAlgType, splitTyConApp_maybe)