From 8c57b0219042b91bfa4a20f9f01df3b7247a1c39 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 25 Mar 2025 16:25:44 +0100 Subject: Improve an error message --- src/Data/Array/Nested/Internal/Mixed.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Data/Array/Nested/Internal/Mixed.hs b/src/Data/Array/Nested/Internal/Mixed.hs index 9a47d00..fa4b4a1 100644 --- a/src/Data/Array/Nested/Internal/Mixed.hs +++ b/src/Data/Array/Nested/Internal/Mixed.hs @@ -884,7 +884,7 @@ mdot1Inner _ (toPrimitive -> M_Primitive sh1 (XArray a)) (toPrimitive -> M_Primi | sh1 == sh2 , Refl <- lemRankApp (ssxInit (ssxFromShape sh1)) (ssxLast (ssxFromShape sh1) :!% ZKX) -> fromPrimitive $ M_Primitive (shxInit sh1) (XArray (liftO2 (numEltDotprodInner (shxRank (shxInit sh1))) a b)) - | otherwise -> error "mdot1Inner: Unequal shapes" + | otherwise -> error $ "mdot1Inner: Unequal shapes (" ++ show sh1 ++ " and " ++ show sh2 ++ ")" ZSX -> error "unreachable" -- | This has a temporary, suboptimal implementation in terms of 'mflatten'. -- cgit v1.2.3-70-g09d2