aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-05-18 14:05:09 +0200
committerTom Smeding <tom@tomsmeding.com>2024-05-18 14:05:09 +0200
commit6b5139c0a8d0c4e76c349f2847cc5629137f4536 (patch)
treee240507ba21d52d6a5f5e4c2501d459f09369d0a /test
parent2e28993ef478ff8c1eed549010383baf51ddec90 (diff)
Finish singletons refactor?
Diffstat (limited to 'test')
-rw-r--r--test/Main.hs2
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)