From f393219328d475fa57520da9bc2eac2792fcad46 Mon Sep 17 00:00:00 2001 From: Brian Rourke Boll Date: Tue, 6 Aug 2024 14:35:04 -0400 Subject: [PATCH] Add comment --- src/Compiler/Checking/Expressions/CheckExpressions.fs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Compiler/Checking/Expressions/CheckExpressions.fs b/src/Compiler/Checking/Expressions/CheckExpressions.fs index abdcb1e0deb..c7ff5b22c47 100644 --- a/src/Compiler/Checking/Expressions/CheckExpressions.fs +++ b/src/Compiler/Checking/Expressions/CheckExpressions.fs @@ -9690,6 +9690,8 @@ and GetNewInferenceTypeForMethodArg (cenv: cenv) x = | SynExpr.MatchLambda (matchClauses = SynMatchClause (resultExpr = a) :: clauses) -> let loopClause a = loopExpr a (cont << fun (depth, ty) -> depth + 1, mkFunTy g (NewInferenceType g) ty) + // Look at all branches, keeping the one + // that gives us the most syntactic information. (loopClause a, clauses) ||> List.fold (fun ((maxClauseDepth, _) as acc) (SynMatchClause (resultExpr = a)) -> match loopClause a with