Add an FV test for fold with differing list and accumulator types

kadena-io · Jul 14, 2023 · 9f853de · 9f853de
1 parent 3222af9
commit 9f853de
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/tests/AnalyzeSpec.hs b/tests/AnalyzeSpec.hs
@@ -4167,6 +4167,11 @@ spec = describe "analyze" $ do
         @model [(property (= result 115))]
         (fold (+) 0 [100 10 5]))
       |]
+    expectVerified [text|
+      (defun test:bool ()
+        @model[(property (= result false))]
+        (fold (lambda (p: bool curr:string) false) false [""]))
+      |]
 
   describe "and?" $ do
     expectVerified [text|