diff --git a/src/Tensor.idr b/src/Tensor.idr index facdb4db1..8bcfd8e14 100644 --- 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.