aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-05-13 22:47:42 +0200
committerTom Smeding <tom@tomsmeding.com>2024-05-13 22:47:42 +0200
commite4e23a33f77d250af1e9b6614cf249128ba1510a (patch)
tree34bb40910003749becbaf8005a7b7ca62024fff2 /test
parent7c9865354442326d55094087ad6a74b6e96341fb (diff)
Shape/index hygiene
Diffstat (limited to 'test')
-rw-r--r--test/Main.hs6
1 files changed, 3 insertions, 3 deletions
diff --git a/test/Main.hs b/test/Main.hs
index 0a07531..2363813 100644
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -7,7 +7,7 @@ import Data.Array.Nested
arr :: Ranked I2 (Shaped [2, 3] (Double, Int))
-arr = rgenerate (3 :.: 4 :.: ZIR) $ \(i :.: j :.: ZIR) ->
+arr = rgenerate (3 :$: 4 :$: ZSR) $ \(i :.: j :.: ZIR) ->
sgenerate @[2, 3] $ \(k :.$ l :.$ ZIS) ->
let s = 24*i + 6*j + 3*k + l
in (fromIntegral s, s)
@@ -16,8 +16,8 @@ foo :: (Double, Int)
foo = arr `rindex` (2 :.: 1 :.: ZIR) `sindex` (1 :.$ 1 :.$ ZIS)
bad :: Ranked I2 (Ranked I1 Double)
-bad = rgenerate (3 :.: 4 :.: ZIR) $ \(i :.: j :.: ZIR) ->
- rgenerate (i :.: ZIR) $ \(k :.: ZIR) ->
+bad = rgenerate (3 :$: 4 :$: ZSR) $ \(i :.: j :.: ZIR) ->
+ rgenerate (i :$: ZSR) $ \(k :.: ZIR) ->
let s = 24*i + 6*j + 3*k
in fromIntegral s