diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-18 14:05:09 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-18 14:05:09 +0200 |
| commit | 6b5139c0a8d0c4e76c349f2847cc5629137f4536 (patch) | |
| tree | e240507ba21d52d6a5f5e4c2501d459f09369d0a /test/Main.hs | |
| parent | 2e28993ef478ff8c1eed549010383baf51ddec90 (diff) | |
Finish singletons refactor?
Diffstat (limited to 'test/Main.hs')
| -rw-r--r-- | test/Main.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Main.hs b/test/Main.hs index 783d985..76c75c2 100644 --- a/test/Main.hs +++ b/test/Main.hs @@ -8,7 +8,7 @@ import Data.Array.Nested arr :: Ranked 2 (Shaped [2, 3] (Double, Int)) arr = rgenerate (3 :$: 4 :$: ZSR) $ \(i :.: j :.: ZIR) -> - sgenerate @[2, 3] $ \(k :.$ l :.$ ZIS) -> + sgenerate (SNat @2 :$$ SNat @3 :$$ ZSS) $ \(k :.$ l :.$ ZIS) -> let s = 24*i + 6*j + 3*k + l in (fromIntegral s, s) |