wip

joelberkeley · Jul 11, 2024 · 1c9f369 · 1c9f369
1 parent 9593c96
commit 1c9f369
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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