Allow generating an empty array

1 files changed, 7 insertions, 0 deletions

diff --git a/test/Main.hs b/test/Main.hs
index 1619c00..d29e4d5 100644
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -15,8 +15,15 @@ arr = rgenerate (3 ::: 4 ::: IZR) $ \(i ::: j ::: IZR) ->
 foo :: (Double, Int)
 foo = arr `rindex` (2 ::: 1 ::: IZR) `sindex` (1 ::$ 1 ::$ IZS)
 
+bad :: Ranked I2 (Ranked I1 Double)
+bad = rgenerate (3 ::: 4 ::: IZR) $ \(i ::: j ::: IZR) ->
+        rgenerate (i ::: IZR) $ \(k ::: IZR) ->
+          let s = 24*i + 6*j + 3*k
+          in fromIntegral s
+
 main :: IO ()
 main = do
   print arr
   print foo
   print (rtranspose [1,0] arr)
+  -- print bad