From f76d781c75105b7b04ed2e602f0139d35846ab92 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 2 Dec 2025 15:01:26 +0100 Subject: Style and uniformity of shape/index/list functions --- src/Data/Array/Nested/Permutation.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Data/Array/Nested/Permutation.hs') diff --git a/src/Data/Array/Nested/Permutation.hs b/src/Data/Array/Nested/Permutation.hs index 9eae73d..065c9fd 100644 --- a/src/Data/Array/Nested/Permutation.hs +++ b/src/Data/Array/Nested/Permutation.hs @@ -61,7 +61,7 @@ permFromListCont :: [Int] -> (forall list. Perm list -> r) -> r permFromListCont [] k = k PNil permFromListCont (x : xs) k = withSomeSNat (fromIntegral x) $ \case Just sn -> permFromListCont xs $ \list -> k (sn `PCons` list) - Nothing -> error $ "Data.Array.Mixed.permFromListCont: negative number in list: " ++ show x + Nothing -> error $ "Data.Array.Nested.Permutation.permFromListCont: negative number in list: " ++ show x permToList :: Perm list -> [Natural] permToList PNil = mempty -- cgit v1.2.3-70-g09d2