~mhueschen/plunder-related: use delay

b1c56f18c10da14f0962d0e8f3492b2076756633 — Michael Hueschen 1 year, 3 months ago 50fd047

use delay

patch browse .tar.gz

1 files changed, 1 insertions(+), 1 deletions(-)

M LeanCheck.hs

M LeanCheck.hs => LeanCheck.hs +1 -1

@@ 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