map working?

joelberkeley · Dec 8, 2023 · afd4344 · afd4344
1 parent d090e5a
commit afd4344
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/Unit/TestTensor/HigherOrder.idr b/test/Unit/TestTensor/HigherOrder.idr
@@ -27,9 +27,9 @@ import Utils.Cases
 partial
 mapResult : Property
 mapResult = property $ do
-  -- shape <- forAll shapes
+  shape <- forAll shapes
 
-  x <- forAll (literal [2] doubles)
+  x <- forAll (literal shape doubles)
   let x' = tensor {dtype = F64} x
   map id x ==~ unsafeEval (do map pure !x')