From 9fa5556c4d4dc45ba2417081437bac2d1240132f Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 2 Dec 2025 15:15:35 +0100 Subject: Let sh*FromList functions print proper error messages --- src/Data/Array/Nested/Ranked/Shape.hs | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) (limited to 'src/Data/Array/Nested/Ranked') diff --git a/src/Data/Array/Nested/Ranked/Shape.hs b/src/Data/Array/Nested/Ranked/Shape.hs index 02d65b6..2fea8c4 100644 --- a/src/Data/Array/Nested/Ranked/Shape.hs +++ b/src/Data/Array/Nested/Ranked/Shape.hs @@ -130,11 +130,14 @@ listrAppend ZR sh = sh listrAppend (x ::: xs) sh = x ::: listrAppend xs sh listrFromList :: SNat n -> [i] -> ListR n i -listrFromList SZ [] = ZR -listrFromList (SS n) (i : is) = i ::: listrFromList n is -listrFromList n l = error $ "listrFromList: Mismatched list length (type says " - ++ show (fromSNat n) ++ ", list has length " - ++ show (length l) ++ ")" +listrFromList topsn topl = go topsn topl + where + go :: SNat n' -> [i] -> ListR n' i + go SZ [] = ZR + go (SS n) (i : is) = i ::: go n is + go _ _ = error $ "listrFromList: Mismatched list length (type says " + ++ show (fromSNat topsn) ++ ", list has length " + ++ show (length topl) ++ ")" {-# INLINEABLE listrToList #-} listrToList :: ListR n i -> [i] -- cgit v1.2.3-70-g09d2