From 4591e4f11bb045e97938473124f8a92585c3a0bd Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 24 Jul 2024 12:24:42 +0200 Subject: Revert "Add an awkward extra Typeable constraint that helps comparing shapes" This reverts commit 774730c3b2742c59bea532e32f43fa12397a3a15. --- src/Data/Array/Nested/Internal/Shape.hs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/Data/Array/Nested/Internal/Shape.hs') 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 -- cgit v1.2.3-70-g09d2