Add comment

brianrourkeboll · Aug 6, 2024 · f393219 · f393219
1 parent 5ed6fce
commit f393219
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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