added GetTypeOfExpression support for lambda-expressions

saul · Oct 14, 2020 · ab8fe81 · ab8fe81
1 parent 52f0941
commit ab8fe81
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/fsharp/TypeChecker.fs b/src/fsharp/TypeChecker.fs
@@ -5973,7 +5973,8 @@ and TcExprUndelayed cenv overallTy env tpenv (synExpr: SynExpr) =
         CallExprHasTypeSink cenv.tcSink (m, env.NameEnv, overallTy, env.AccessRights)
         TcConstExpr cenv overallTy env m tpenv synConst
 
-    | SynExpr.Lambda _ -> 
+    | SynExpr.Lambda (_, _, _, _, m) ->
+        CallExprHasTypeSink cenv.tcSink (m, env.NameEnv, overallTy, env.AccessRights)
         TcIteratedLambdas cenv true env overallTy Set.empty tpenv synExpr
 
     | SynExpr.Match (spMatch, synInputExpr, synClauses, _m) ->