fmt

joelberkeley · Oct 15, 2024 · a1c456f · a1c456f
1 parent 4b14971
commit a1c456f
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/test/runner/Unit/TestTensor.idr b/test/runner/Unit/TestTensor.idr
@@ -85,13 +85,13 @@ evalTuple @{device} = property $ do
 
 evalTupleNonTrivial : Device => Property
 evalTupleNonTrivial @{device} = property $ do
-  let xs : Tag _ =
-        do let y0 = tensor [1.0, -2.0, 0.4]
-               y1 = tensor 3.0
-           u <- tag $ exp y0
-           let v = slice [at 1] u + y1
-               w = slice [0.to 2] u
-           pure [v, w]
+  let xs : Tag _ = do
+        let y0 = tensor [1.0, -2.0, 0.4]
+            y1 = tensor 3.0
+        u <- tag $ exp y0
+        let v = slice [at 1] u + y1
+            w = slice [0.to 2] u
+        pure [v, w]
 
       [v, w] = unsafePerformIO $ eval device xs