diff options
Diffstat (limited to 'test/Main.hs')
| -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 |