diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2024-05-15 13:29:10 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-05-15 13:30:36 +0200 |
| commit | bd11ee13d58c512f1a9cc0ef06b36c722653ff6f (patch) | |
| tree | a9354a9c1874bd4aea77a217db7981708707d60e /test | |
| parent | 43ddff2e7f1e9f4d8855f573384e26b63d34f697 (diff) | |
The code compiles with only GHC nats
Diffstat (limited to 'test')
| -rw-r--r-- | test/Main.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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 |