add tests

swarm-game · Sep 9, 2023 · 1bb1a23 · 1bb1a23
1 parent dc9c3e4
commit 1bb1a23
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/test/unit/TestLanguagePipeline.hs b/test/unit/TestLanguagePipeline.hs
@@ -381,6 +381,15 @@ testLanguagePipeline =
                 "1:5: Type mismatch:\n  From context, expected `\\x. \\y. 3` to have type `int`,\n  but it is actually a function\n"
             )
         ]
+    , testGroup
+        "generalize top-level binds #351 #1501"
+        [ testCase
+            "top-level polymorphic bind is OK"
+            (valid "r <- return (\\x.x)")
+        , testCase
+            "top-level bind is polymorphic"
+            (valid "f <- return (\\x.x); return (f 3, f \"hi\")")
+        ]
     ]
  where
   valid = flip process ""