From 8a81f7ea9eed9afaec948910caaf0a5c498de6c6 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sat, 13 Apr 2024 20:54:08 +0200
Subject: Switch to GHC.TypeLits.Nat for shapes

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

(limited to 'test')

diff --git a/test/Main.hs b/test/Main.hs
index 8257ff0..7e1a3a1 100644
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -6,9 +6,9 @@ module Main where
 import Data.Array.Nested
 
 
-arr :: Ranked N2 (Shaped [N2, N3] (Double, Int))
+arr :: Ranked N2 (Shaped [2, 3] (Double, Int))
 arr = rgenerate (3 ::: 4 ::: IZR) $ \(i ::: j ::: IZR) ->
-        sgenerate @[N2, N3] (2 ::$ 3 ::$ IZS) $ \(k ::$ l ::$ IZS) ->
+        sgenerate @[2, 3] (2 ::$ 3 ::$ IZS) $ \(k ::$ l ::$ IZS) ->
           let s = 24*i + 6*j + 3*k + l
           in (fromIntegral s, s)
 
-- 
cgit v1.2.3-70-g09d2