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

Commit3a0f5d6

Browse files
forkiKevinRansom
authored andcommitted
Remove double lookups from TypeChecker (dotnet#4750)
1 parent0a8c0fa commit3a0f5d6

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

‎src/fsharp/TypeChecker.fs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11450,10 +11450,10 @@ and TcIncrementalLetRecGeneralization cenv scopem
1145011450
// pathological situations
1145111451
let freeInUncheckedRecBinds =
1145211452
lazy ((emptyFreeTyvars, cenv.recUses.Contents) ||> Map.fold (fun acc vStamp _ ->
11453-
if uncheckedRecBindsTable.ContainsKey vStampthen
11454-
letfwdBind= uncheckedRecBindsTable.[vStamp]
11453+
match Map.tryFind vStampuncheckedRecBindsTable with
11454+
| SomefwdBind->
1145511455
accFreeInType CollectAllNoCaching fwdBind.RecBindingInfo.Val.Type acc
11456-
else
11456+
| None ->
1145711457
acc))
1145811458

1145911459
let rec loop (preGeneralizationRecBinds: PreGeneralizationRecursiveBinding list,

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp