diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-10-02 14:12:15 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-10-02 14:12:15 +0200 |
| commit | 2018dc3476c1a1b723f8c7106d628bd0da8cb49c (patch) | |
| tree | 12255ef1856abc5a7f618c0190a073a5655319bc /src/Data/Array/Nested/Convert.hs | |
| parent | ef72e54cf6bcee7124058364fea15b4d1bd62cd7 (diff) | |
Diffstat (limited to 'src/Data/Array/Nested/Convert.hs')
| -rw-r--r-- | src/Data/Array/Nested/Convert.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Convert.hs b/src/Data/Array/Nested/Convert.hs index a260dc0..8c88d23 100644 --- a/src/Data/Array/Nested/Convert.hs +++ b/src/Data/Array/Nested/Convert.hs @@ -80,7 +80,6 @@ shrFromShS (n :$$ sh) = fromSNat' n :$: shrFromShS sh ixsFromIxR :: ShS sh -> IxR (Rank sh) i -> IxS sh i ixsFromIxR ZSS ZIR = ZIS ixsFromIxR (_ :$$ sh) (n :.: idx) = n :.$ ixsFromIxR sh idx -ixsFromIxR _ _ = error "unreachable" -- | Performs a runtime check that @n@ matches @Rank sh@. Equivalent to the -- following, but more efficient: |