From 40df8da92693eab6e12b31ed7a491c7aa4857b23 Mon Sep 17 00:00:00 2001 From: Joel Berkeley <16429957+joelberkeley@users.noreply.github.com> Date: Thu, 7 Dec 2023 00:25:51 +0000 Subject: [PATCH] wip --- src/Tensor.idr | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Tensor.idr b/src/Tensor.idr index 26ac79d5e..5c11684d7 100644 --- a/src/Tensor.idr +++ b/src/Tensor.idr @@ -95,8 +95,8 @@ export partial eval : PrimitiveRW dtype ty => Graph (Tensor shape dtype) -> IO (Literal shape ty) eval x = do let (MkEnvN _ env, MkTensor n) = runState (MkEnvN 0 empty) x - -- putStrLn "got env: \{show env}" - runEitherT (run {dtype} n $ traceVal env) <&> \case + putStrLn "got env: \{show env}" + runEitherT (run {dtype} n env) <&> \case Right lit => lit Left err => idris_crash (show err)