diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-01-22 10:41:36 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-01-22 10:41:36 +0100 |
| commit | 736e04ab36c57306bd7d30221c32a70e265dd34a (patch) | |
| tree | 86652376210a048a94c31c481fcc34d4d7d01b05 /src/Data/Array/Nested/Mixed | |
| parent | a02528a1402238add2820d7203ccb38ed9b59f29 (diff) | |
Eliminate all QuantifiedConstraints extensions from the codemvecsReplicate
Diffstat (limited to 'src/Data/Array/Nested/Mixed')
| -rw-r--r-- | src/Data/Array/Nested/Mixed/Shape.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/Data/Array/Nested/Mixed/Shape.hs b/src/Data/Array/Nested/Mixed/Shape.hs index abcf3f8..4dd350a 100644 --- a/src/Data/Array/Nested/Mixed/Shape.hs +++ b/src/Data/Array/Nested/Mixed/Shape.hs @@ -10,7 +10,6 @@ {-# LANGUAGE NoStarIsType #-} {-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE PolyKinds #-} -{-# LANGUAGE QuantifiedConstraints #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE RoleAnnotations #-} {-# LANGUAGE ScopedTypeVariables #-} @@ -316,9 +315,9 @@ deriving instance Show i => Show (SMayNat i n) deriving instance Eq i => Eq (SMayNat i n) deriving instance Ord i => Ord (SMayNat i n) -instance (NFData i, forall m. NFData (SNat m)) => NFData (SMayNat i n) where +instance NFData i => NFData (SMayNat i n) where rnf (SUnknown i) = rnf i - rnf (SKnown x) = rnf x + rnf (SKnown SNat) = () instance TestEquality (SMayNat i) where testEquality SUnknown{} SUnknown{} = Just Refl |