diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -22,3 +22,11 @@
 main :: IO ()
 main = defaultMain $(inspectTest $ 'lhs === 'rhs)
 ```
+
+Real world examples:
+
+* https://hackage.haskell.org/package/random-1.2.1/src/test-inspection/Spec/Inspection.hs
+* https://hackage.haskell.org/package/linear-base-0.2.0/src/test/Test/Data/V.hs
+* https://hackage.haskell.org/package/text-2.0/src/tests/Tests/Properties/LowLevel.hs
+* https://hackage.haskell.org/package/text-1.2.5.0/src/tests/Tests/Inspection/Strict.hs
+* https://github.com/konn/sized/blob/676c2b81e55e708e7938acdf8c4d7db68db1c1cb/test/opt-test.hs
diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -1,3 +1,7 @@
+# 0.1.0.1
+
+* Support GHC 9.4.
+
 # 0.1
 
 * Initial release.
diff --git a/src/Test/Tasty/Inspection/Plugin.hs b/src/Test/Tasty/Inspection/Plugin.hs
--- a/src/Test/Tasty/Inspection/Plugin.hs
+++ b/src/Test/Tasty/Inspection/Plugin.hs
@@ -12,7 +12,7 @@
 
 module Test.Tasty.Inspection.Plugin (plugin) where
 
-import Control.Monad (when, foldM)
+import Control.Monad (foldM)
 import qualified Language.Haskell.TH.Syntax as TH
 import System.Exit (exitFailure)
 
@@ -26,6 +26,10 @@
 import GHC.Types.TyThing
 #endif
 
+#if !MIN_VERSION_ghc(9,3,0)
+import Control.Monad (when)
+#endif
+
 import Test.Inspection (Obligation(..))
 import qualified Test.Inspection.Plugin as P (checkProperty, CheckResult(..))
 import Test.Tasty.Inspection.Internal (CheckResult(..))
@@ -36,7 +40,7 @@
 plugin :: Plugin
 plugin = defaultPlugin
     { installCoreToDos = install
-#if __GLASGOW_HASKELL__ >= 806
+#if MIN_VERSION_ghc(8,6,0)
     , pluginRecompile = \_args -> pure NoForceRecompile
 #endif
     }
@@ -96,13 +100,15 @@
 
 proofPass :: ModGuts -> CoreM ModGuts
 proofPass guts = do
+#if !MIN_VERSION_ghc(9,3,0)
     dflags <- getDynFlags
     when (optLevel dflags < 1) $ warnMsg
-#if MIN_VERSION_GLASGOW_HASKELL(8,9,0,0)
+#if MIN_VERSION_ghc(8,9,0)
         NoReason
 #endif
         $ fsep $ map text
         $ words "Test.Inspection: Compilation without -O detected. Expect optimizations to fail."
+#endif
     uncurry (foldM checkObligation) (extractObligations guts)
 
 partitionMaybe :: (a -> Maybe b) -> [a] -> ([a], [b])
diff --git a/tasty-inspection-testing.cabal b/tasty-inspection-testing.cabal
--- a/tasty-inspection-testing.cabal
+++ b/tasty-inspection-testing.cabal
@@ -1,10 +1,11 @@
 name:          tasty-inspection-testing
-version:       0.1
+version:       0.1.0.1
 cabal-version: 1.18
 build-type:    Simple
 license:       MIT
 license-file:  LICENSE
 copyright:     2017 Joachim Breitner, 2021 Andrew Lelechenko
+author:        Joachim Breitner, Andrew Lelechenko
 maintainer:    Andrew Lelechenko <andrew.lelechenko@gmail.com>
 homepage:      https://github.com/Bodigrim/tasty-inspection-testing
 bug-reports:   https://github.com/Bodigrim/tasty-inspection-testing/issues
@@ -16,7 +17,7 @@
   changelog.md
   README.md
 
-tested-with: GHC==9.0.1, GHC==8.10.4, GHC==8.8.4, GHC==8.6.5, GHC==8.4.4, GHC==8.2.2, GHC==8.0.2
+tested-with: GHC==9.2.2, GHC==9.0.2, GHC==8.10.7, GHC==8.8.4, GHC==8.6.5, GHC==8.4.4, GHC==8.2.2, GHC==8.0.2
 
 source-repository head
   type: git
@@ -26,11 +27,11 @@
   exposed-modules:  Test.Tasty.Inspection
                     Test.Tasty.Inspection.Plugin
   other-modules:    Test.Tasty.Inspection.Internal
-  build-depends:    base < 5,
+  build-depends:    base < 4.18,
                     ghc,
                     inspection-testing >= 0.4.5 && < 0.5,
                     tasty,
                     template-haskell
   hs-source-dirs:   src
   default-language: Haskell2010
-  ghc-options:      -Wall
+  ghc-options:      -Wall -Wcompat