From 2cbb56e77b8276a4c0016a60ce75448d6586e59a Mon Sep 17 00:00:00 2001
From: Ryan Scott <ryan.gl.scott@gmail.com>
Date: Sun, 22 Jan 2023 14:44:26 -0500
Subject: [PATCH] Only enable TypeInType on pre-8.6 GHCs

After GHC 8.6, `TypeInType`'s functionality was made a part of the `DataKinds`
and `PolyKinds` extensions. Moreover, GHC 9.6 gives a deprecation warning when
using `TypeInType`, so we now have an extra incentive to only enable
`TypeInType` where absolutely necessary.
---
 base-compat/src/Control/Exception/Compat.hs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/base-compat/src/Control/Exception/Compat.hs b/base-compat/src/Control/Exception/Compat.hs
index 1bffdd7..9e70ba4 100644
--- a/base-compat/src/Control/Exception/Compat.hs
+++ b/base-compat/src/Control/Exception/Compat.hs
@@ -3,9 +3,13 @@
 {-# LANGUAGE Trustworthy #-}
 #endif
 #if MIN_VERSION_base(4,10,0)
+{-# LANGUAGE DataKinds #-}
 {-# LANGUAGE MagicHash #-}
+{-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE RankNTypes #-}
+# if __GLASGOW_HASKELL__ < 806
 {-# LANGUAGE TypeInType #-}
+# endif
 #endif
 module Control.Exception.Compat (
   module Base