wip

joelberkeley · Dec 7, 2023 · 40df8da · 40df8da
1 parent 2fc09f0
commit 40df8da
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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)