aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-07-24 12:24:42 +0200
committerTom Smeding <tom@tomsmeding.com>2024-07-24 12:24:42 +0200
commit4591e4f11bb045e97938473124f8a92585c3a0bd (patch)
tree2d047722fd0d5568f83a338c05abb3a29cffbc04 /src/Data/Array
parenta872f0e171825654c9559fd963f447b326d88400 (diff)
Revert "Add an awkward extra Typeable constraint that helps comparing shapes"
This reverts commit 774730c3b2742c59bea532e32f43fa12397a3a15.
Diffstat (limited to 'src/Data/Array')
-rw-r--r--src/Data/Array/Nested/Internal/Shape.hs3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Data/Array/Nested/Internal/Shape.hs b/src/Data/Array/Nested/Internal/Shape.hs
index 99cca06..a7797a7 100644
--- a/src/Data/Array/Nested/Internal/Shape.hs
+++ b/src/Data/Array/Nested/Internal/Shape.hs
@@ -38,7 +38,6 @@ import GHC.IsList (IsList)
import GHC.IsList qualified as IsList
import GHC.TypeLits
import GHC.TypeNats qualified as TN
-import Type.Reflection (Typeable)
import Data.Array.Mixed.Lemmas
import Data.Array.Mixed.Permutation
@@ -553,7 +552,7 @@ shsProduct (n :$$ sh) = n `snatMul` shsProduct sh
-- | Evidence for the static part of a shape. This pops up only when you are
-- polymorphic in the element type of an array.
type KnownShS :: [Nat] -> Constraint
-class Typeable sh => KnownShS sh where knownShS :: ShS sh
+class KnownShS sh where knownShS :: ShS sh
instance KnownShS '[] where knownShS = ZSS
instance (KnownNat n, KnownShS sh) => KnownShS (n : sh) where knownShS = natSing :$$ knownShS