function implicit conversion the same way as fun x

dotnet · Aug 4, 2024 · 0b1e680 · 0b1e680
1 parent ed7905d
commit 0b1e680
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 0 deletions.
diff --git a/src/Compiler/Checking/Expressions/CheckExpressions.fs b/src/Compiler/Checking/Expressions/CheckExpressions.fs
@@ -9685,6 +9685,8 @@ and GetNewInferenceTypeForMethodArg (cenv: cenv) env tpenv x =
     | SynExpr.Lambda (body = a)
     | SynExpr.DotLambda (expr = a) ->
         mkFunTy g (NewInferenceType g) (GetNewInferenceTypeForMethodArg cenv env tpenv a)
+    | SynExpr.MatchLambda _ ->
+        mkFunTy g (NewInferenceType g) (NewInferenceType g)
     | SynExpr.Quote (_, raw, a, _, _) ->
         if raw then mkRawQuotedExprTy g
         else mkQuotedExprTy g (GetNewInferenceTypeForMethodArg cenv env tpenv a)

diff --git a/...icGrammarElements/MemberDefinitions/OverloadingMembers/OverloadResolutionUsingFunction.fs b/...icGrammarElements/MemberDefinitions/OverloadingMembers/OverloadResolutionUsingFunction.fs
@@ -0,0 +1,13 @@
+open System
+let ae = new AggregateException()
+
+ae.Handle(fun e ->
+    match e with
+    | :? OperationCanceledException -> true
+    | _ -> false        
+    )
+
+ae.Handle(function
+    | :? OperationCanceledException -> true
+    | _ -> false        
+    )
diff --git a/...nformance/BasicGrammarElements/MemberDefinitions/OverloadingMembers/OverloadingMembers.fs b/...nformance/BasicGrammarElements/MemberDefinitions/OverloadingMembers/OverloadingMembers.fs
@@ -229,3 +229,9 @@ module MemberDefinitions_OverloadingMembers =
         |> withDefines ["TOO_GENERIC"]
         |> verifyCompileAndRun
         |> shouldSucceed
+
+    [<Theory; Directory(__SOURCE_DIRECTORY__, Includes=[|"OverloadResolutionUsingFunction.fs"|])>]
+    let ``OverloadResolutionUsingFunction_fs`` compilation =
+        compilation
+        |> verifyCompileAndRun
+        |> shouldSucceed