wip

joelberkeley · Dec 6, 2023 · 90733b3 · 90733b3
1 parent b4d7ee9
commit 90733b3
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/Tensor.idr b/src/Tensor.idr
@@ -94,11 +94,11 @@ namespace S32
 export partial
 eval : PrimitiveRW dtype ty => Graph (Tensor shape dtype) -> IO (Literal shape ty)
 eval x =
-  let (MkEnvN _ env, MkTensor n) = runState (MkEnvN 0 empty) x
-   in idris_crash "crashing with env: \{show env}"
-       -- runEitherT (run {dtype} n $ env) <&> \case
-       -- Right lit => lit
-       -- Left err => idris_crash (show err)
+  let (MkEnvN _ env, MkTensor n) = runState (MkEnvN 0 empty) x in
+   -- in idris_crash "crashing with env: \{show env}"
+      runEitherT (run {dtype} n $ env) <&> \case
+        Right lit => lit
+        Left err => idris_crash (show err)
 
 ||| A string representation of an unevaluated `Tensor`, detailing all enqueued Xla operations.
 ||| Useful for debugging.