diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-03-25 16:25:44 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-25 16:25:44 +0100 |
| commit | 8c57b0219042b91bfa4a20f9f01df3b7247a1c39 (patch) | |
| tree | 94c61f50204c58a74d65a712236fb2d4d6b97a13 | |
| parent | 62724776675488a82f3f372aeb537d97ad91c791 (diff) | |
Improve an error message
| -rw-r--r-- | src/Data/Array/Nested/Internal/Mixed.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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'. |