From e4e23a33f77d250af1e9b6614cf249128ba1510a Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 13 May 2024 22:47:42 +0200
Subject: Shape/index hygiene

---
 test/Main.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'test')

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
 
-- 
cgit v1.2.3-70-g09d2