diff options
| author | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2024-04-29 17:35:54 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2024-04-29 17:35:54 +0200 |
| commit | 1f81568269189c863772369bb62a7598735ee684 (patch) | |
| tree | 083f88281051fc52056906f697cff653bd7833e3 | |
| parent | d9a1b896875153cc3ee8fefc3dba7de1f6122d45 (diff) | |
Make also the sized shaped lists strict due to impurity in horde-adexperiment-with-KnownShape
| -rw-r--r-- | src/Data/Array/Nested/Internal.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Internal.hs b/src/Data/Array/Nested/Internal.hs index 1999bb6..7d3b4bc 100644 --- a/src/Data/Array/Nested/Internal.hs +++ b/src/Data/Array/Nested/Internal.hs @@ -1080,7 +1080,7 @@ type ListS :: [Nat] -> Type -> Type data ListS sh i where ZS :: ListS '[] i (::$) :: forall n sh {i}. (KnownNat n, KnownShape sh) - => i -> ListS sh i -> ListS (n : sh) i + => !i -> !(ListS sh i) -> ListS (n : sh) i deriving instance Show i => Show (ListS sh i) deriving instance Eq i => Eq (ListS sh i) deriving instance Ord i => Ord (ListS sh i) |