From 6b5139c0a8d0c4e76c349f2847cc5629137f4536 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sat, 18 May 2024 14:05:09 +0200
Subject: Finish singletons refactor?

---
 test/Main.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test')

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