Implement 'deepErrorX' in terms of 'spinify'

clash-prelude/src/Clash/XException.hs

@@ -59,7 +59,7 @@ import GHC.Exts          (Char (C#), Double (D#), Float (F#), Int (I#), Word (W#
 import GHC.Generics
 import GHC.Natural       (Natural)
 import GHC.Show          (appPrec)
-import GHC.Stack         (HasCallStack, callStack, prettyCallStack, withFrozenCallStack)
+import GHC.Stack         (HasCallStack, callStack, prettyCallStack)
 import Numeric.Half      (Half)
 import System.IO.Unsafe  (unsafeDupablePerformIO)
 
@@ -575,8 +575,8 @@ class NFDataX a where
   -- is defined.
   deepErrorX :: HasCallStack => String -> a
 
-  default deepErrorX :: (HasCallStack, Generic a, GDeepErrorX (Rep a)) => String -> a
-  deepErrorX = withFrozenCallStack $ to . gDeepErrorX
+  default deepErrorX :: HasCallStack => String -> a
+  deepErrorX s = spinify (errorX s)
 
   -- | Create a value where at the very least the spine is defined. For example:
   --
@@ -761,24 +761,3 @@ instance NFDataX a => NFDataX (SG.Min a)
 instance NFDataX a => NFDataX (SG.Option a)
 instance NFDataX a => NFDataX (SG.Product a)
 instance NFDataX a => NFDataX (SG.Sum a)
-
-class GDeepErrorX f where
-  gDeepErrorX :: HasCallStack => String -> f a
-
-instance GDeepErrorX V1 where
-  gDeepErrorX = errorX
-
-instance GDeepErrorX U1 where
-  gDeepErrorX = const U1
-
-instance (GDeepErrorX a) => GDeepErrorX (M1 m d a) where
-  gDeepErrorX e = M1 (gDeepErrorX e)
-
-instance (GDeepErrorX f, GDeepErrorX g) => GDeepErrorX (f :*: g) where
-  gDeepErrorX e = gDeepErrorX e :*: gDeepErrorX e
-
-instance NFDataX c => GDeepErrorX (K1 i c) where
-  gDeepErrorX e = K1 (deepErrorX e)
-
-instance GDeepErrorX (f :+: g) where
-  gDeepErrorX = errorX