Commit6311bc4

authored and

committed

Remove double lookups from TastOps (dotnet#4756)

1 parentbd54838 commit6311bc4Copy full SHA for 6311bc4

File tree

-3

lines changed

-3

lines changed

Lines changed: 5 additions & 3 deletions

Original file line number	Diff line number	Diff line change
`@@ -43,7 +43,7 @@ type TyparMap<'T> =`
`43`	`43`	`let(TPMap m)= tm`
`44`	`44`	`m.ContainsKey(v.Stamp)`
`45`	`45`
`46`		`-membertm.TryFind(v:Typar)=`
	`46`	`+membertm.TryFind(v:Typar)=`
`47`	`47`	`let(TPMap m)= tm`
`48`	`48`	`m.TryFind(v.Stamp)`
`49`	`49`
`@@ -900,8 +900,10 @@ and typeAEquivAux erasureFlag g aenv ty1 ty2 =`
`900`	`900`	`typarsAEquivAux erasureFlag g aenv tps1 tps2&& typeAEquivAux erasureFlag g(aenv.BindEquivTypars tps1 tps2) rty1 rty2`
`901`	`901`	`\| TType_var tp1, TType_var tp2when typarEq tp1 tp2->`
`902`	`902`	`true`
`903`		`-\| TType_var tp1,_when aenv.EquivTypars.ContainsKey tp1->`
`904`		`- typeEquivAux erasureFlag g aenv.EquivTypars.[tp1] ty2`
	`903`	`+\| TType_var tp1,_->`
	`904`	`+match aenv.EquivTypars.TryFind tp1with`
	`905`	`+\| Some v-> typeEquivAux erasureFlag g v ty2`
	`906`	`+\| None->false`
`905`	`907`	`\| TType_app(tc1, b1), TType_app(tc2, b2)->`
`906`	`908`	`tcrefAEquiv g aenv tc1 tc2&&`
`907`	`909`	`typesAEquivAux erasureFlag g aenv b1 b2`

Comments

(0)