From 1c9f3693bc2db18cc66dc7c819b323021df7949e Mon Sep 17 00:00:00 2001
From: Joel Berkeley <16429957+joelberkeley@users.noreply.github.com>
Date: Thu, 11 Jul 2024 03:10:31 +0100
Subject: [PATCH] wip

---
 spidr/src/Tensor.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spidr/src/Tensor.idr b/spidr/src/Tensor.idr
index 15c1aa08f..60104894a 100644
--- a/spidr/src/Tensor.idr
+++ b/spidr/src/Tensor.idr
@@ -133,7 +133,7 @@ namespace S32
   fromInteger = tensor . Scalar . fromInteger
 
 try : Show e => EitherT e IO a -> IO a
-try = eitherT (assert_total . idris_crash . show) pure
+try = eitherT (\e => assert_total $ idris_crash $ show e) pure
 
 namespace Tag
   ||| Evaluate a `Tensor`, returning its value as a `Literal`. This function builds and executes the