diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-19 11:57:48 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-19 11:57:48 +0200 |
| commit | b22366401ee4bfead4ba6789937acdb7274d175c (patch) | |
| tree | 5a8194ab03d726b1f2f9100191e76907d8e51fb5 /src/Data/Array/Nested | |
| parent | 5a754a575d0a5e1bc9874d7cdfdc87de0c4cae45 (diff) | |
SNat has COMPLETE in ghc 9.8
Diffstat (limited to 'src/Data/Array/Nested')
| -rw-r--r-- | src/Data/Array/Nested/Internal.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Data/Array/Nested/Internal.hs b/src/Data/Array/Nested/Internal.hs index 182e099..8777960 100644 --- a/src/Data/Array/Nested/Internal.hs +++ b/src/Data/Array/Nested/Internal.hs @@ -153,7 +153,7 @@ knownNatSucc = Dict lemKnownShX :: StaticShX sh -> Dict KnownShX sh lemKnownShX ZKX = Dict -lemKnownShX (SKnown GHC_SNat :!% ssh) | Dict <- lemKnownShX ssh = Dict +lemKnownShX (SKnown SNat :!% ssh) | Dict <- lemKnownShX ssh = Dict lemKnownShX (SUnknown () :!% ssh) | Dict <- lemKnownShX ssh = Dict ssxFromSNat :: SNat n -> StaticShX (Replicate n Nothing) @@ -1011,7 +1011,7 @@ instance (KnownNat n, KnownElt a) => KnownElt (Ranked n a) where -- sshapeKnown :: ShS sh -> Dict KnownShape sh -- sshapeKnown ZSS = Dict --- sshapeKnown (GHC_SNat :$$ sh) | Dict <- sshapeKnown sh = Dict +-- sshapeKnown (SNat :$$ sh) | Dict <- sshapeKnown sh = Dict lemCommMapJustApp :: forall sh1 sh2. ShS sh1 -> Proxy sh2 -> MapJust (sh1 ++ sh2) :~: MapJust sh1 ++ MapJust sh2 |