From 92bca235e3aaa287286b6af082d3fce585825a35 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 5 Nov 2025 22:30:00 +0100 Subject: Add a stupid Map test --- test/Main.hs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'test/Main.hs') diff --git a/test/Main.hs b/test/Main.hs index c2141ee..358073f 100644 --- a/test/Main.hs +++ b/test/Main.hs @@ -711,6 +711,9 @@ tests_AD = testGroup "AD" ,adTestTp "fold-freearr" (C "" 1) $ fromNamed $ lambda @(TArr N1 R) #a $ body $ idx0 $ fold1i (#x :-> #y :-> #x * #y + #a ! pair nil 0) 1 #a + + ,adTest "map" $ fromNamed $ lambda @(TArr N1 R) #a $ body $ + idx0 $ sum1i $ map_ (#x :-> 2 * #x) #a ] main :: IO () -- cgit v1.2.3-70-g09d2