Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit83efee4

Browse files
committed
Use reduce instead of fold
1 parent6351e57 commit83efee4

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎src/fsharp/ConstraintSolver.fs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1390,7 +1390,7 @@ and GetRelevantMethodsForTrait (csenv:ConstraintSolverEnv) permitWeakResolution
13901390
/// between potential overloads because a generic instantiation derived from the left hand type differs
13911391
/// to a generic instantiation for an operator based on the right hand type.
13921392
1393-
letminfos= List.fold(ListSet.unionFavourLeft MethInfo.MethInfosUseIdenticalDefinitions)(List.headminfos)(List.tail minfos)
1393+
letminfos= List.reduce(ListSet.unionFavourLeft MethInfo.MethInfosUseIdenticalDefinitions) minfos
13941394
minfos
13951395
else
13961396
[]

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp