From bd11ee13d58c512f1a9cc0ef06b36c722653ff6f Mon Sep 17 00:00:00 2001
From: Tom Smeding <t.j.smeding@uu.nl>
Date: Wed, 15 May 2024 13:29:10 +0200
Subject: The code compiles with only GHC nats

---
 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 2363813..783d985 100644
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -6,7 +6,7 @@ module Main where
 import Data.Array.Nested
 
 
-arr :: Ranked I2 (Shaped [2, 3] (Double, Int))
+arr :: Ranked 2 (Shaped [2, 3] (Double, Int))
 arr = rgenerate (3 :$: 4 :$: ZSR) $ \(i :.: j :.: ZIR) ->
         sgenerate @[2, 3] $ \(k :.$ l :.$ ZIS) ->
           let s = 24*i + 6*j + 3*k + l
@@ -15,7 +15,7 @@ arr = rgenerate (3 :$: 4 :$: ZSR) $ \(i :.: j :.: ZIR) ->
 foo :: (Double, Int)
 foo = arr `rindex` (2 :.: 1 :.: ZIR) `sindex` (1 :.$ 1 :.$ ZIS)
 
-bad :: Ranked I2 (Ranked I1 Double)
+bad :: Ranked 2 (Ranked 1 Double)
 bad = rgenerate (3 :$: 4 :$: ZSR) $ \(i :.: j :.: ZIR) ->
         rgenerate (i :$: ZSR) $ \(k :.: ZIR) ->
           let s = 24*i + 6*j + 3*k
-- 
cgit v1.2.3-70-g09d2