From b1c56f18c10da14f0962d0e8f3492b2076756633 Mon Sep 17 00:00:00 2001 From: Michael Hueschen Date: Fri, 25 Aug 2023 07:10:31 -0600 Subject: [PATCH] use delay --- LeanCheck.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/LeanCheck.hs b/LeanCheck.hs index e489a92..0553c8f 100644 --- a/LeanCheck.hs +++ b/LeanCheck.hs @@ -48,7 +48,7 @@ mapT = map . map concatT :: [[ [[a]] ]] -> [[a]] concatT = foldr (\+:/) [] . map (foldr (\/) []) where - xss \+:/ yss = xss \/ ([]:yss) + xss \+:/ yss = xss \/ (delay yss) concatMapT :: (a -> [[b]]) -> [[a]] -> [[b]] concatMapT f = concatT . mapT f -- 2.45.2