add another test for inference failure case

swarm-game · Oct 12, 2024 · ff44367 · ff44367
1 parent 517f62f
commit ff44367
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/test/unit/TestLanguagePipeline.hs b/test/unit/TestLanguagePipeline.hs
@@ -336,6 +336,12 @@ testLanguagePipeline =
                 "\\x:Int. x.y"
                 "1:9: Type mismatch:\n  From context, expected `x` to have a record type,\n  but it actually has type `Int`"
             )
+        , testCase
+            "inference failure with record projection"
+            ( process
+                "\\x. x.y"
+                "1:5: In the record projection `x.y`, can't infer whether the LHS has a record type.  Try adding a type annotation."
+            )
         , testCase
             "infer record projection with tydef"
             (valid "tydef R = [x:Int] end; def f : R -> Int = \\r. r.x end")