From 1e6e9988452379154f1a09ea772231958347ef09 Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Sun, 1 Dec 2024 14:34:23 -0800 Subject: [PATCH] Update Lambda.hs --- SBVTestSuite/TestSuite/Basics/Lambda.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/SBVTestSuite/TestSuite/Basics/Lambda.hs b/SBVTestSuite/TestSuite/Basics/Lambda.hs index 430b105e..c0b178c6 100644 --- a/SBVTestSuite/TestSuite/Basics/Lambda.hs +++ b/SBVTestSuite/TestSuite/Basics/Lambda.hs @@ -80,6 +80,7 @@ tests = , goldenCapturedIO "lambda13" $ eval1 [(x, y) | x <- [1..3], y <- [4..6 :: Integer]] (map (\t -> t^._1 + t^._2), P.map (uncurry (+))) + , goldenCapturedIO "lambda14" $ eval1 [1 .. 5 :: Integer] (zipWith (+) [10..15], P.zipWith (+) [10..15]) , goldenCapturedIO "lambda15" $ eval1 [1 .. 5 :: Integer] (foldl (+) 0, P.sum) , goldenCapturedIO "lambda16" $ eval1 [1 .. 5 :: Integer] (foldl (*) 1, P.product) @@ -89,6 +90,8 @@ tests = ) , goldenCapturedIO "lambda18" $ eval1 [1 .. 5 :: Integer] + ( foldl (\b t -> t^._1 + b + t^._2) 0 . zip [10..15] + , P.foldl (\b (i, a) -> i + b + a) 0 . P.zip [10..15] ) , goldenCapturedIO "lambda19" $ eval1 [1 .. 5 :: Integer] (foldr (+) 0, P.foldr (+) 0)