Commit59fa5df

committed

Cleanup

1 parentf0b0666 commit59fa5dfCopy full SHA for 59fa5df

File tree

-3

lines changed

-3

lines changed

Lines changed: 2 additions & 3 deletions

Original file line number	Diff line number	Diff line change
`@@ -2508,9 +2508,8 @@ let AddCxTypeEqualsTypeUndoIfFailed denv css m ty1 ty2 =`
`2508`	`2508`	`UndoIfFailed(fun trace-> SolveTypEqualsTypKeepAbbrevs(MakeConstraintSolverEnv ContextInfo.NoContext css m denv)0 m(WithTrace(trace)) ty1 ty2)`
`2509`	`2509`
`2510`	`2510`	`letAddCxTypeEqualsTypeMatchingOnlyUndoIfFailed denv css m ty1 ty2=`
`2511`		`-letcsenv= MakeConstraintSolverEnv ContextInfo.NoContext css m denv`
`2512`		`-letcsenv={ csenvwith MatchingOnly=true}`
`2513`		`- UndoIfFailed(fun trace-> SolveTypEqualsTypKeepAbbrevs csenv0 m(WithTrace(trace)) ty1 ty2)`
	`2511`	`+letcsenv={ MakeConstraintSolverEnv ContextInfo.NoContext css m denvwith MatchingOnly=true}`
	`2512`	`+ UndoIfFailed(fun trace-> SolveTypEqualsTypKeepAbbrevs csenv0 m(WithTrace trace) ty1 ty2)`
`2514`	`2513`
`2515`	`2514`	`letAddCxTypeMustSubsumeTypeUndoIfFailed denv css m ty1 ty2=`
`2516`	`2515`	`UndoIfFailed(fun trace-> SolveTypSubsumesTypKeepAbbrevs(MakeConstraintSolverEnv ContextInfo.NoContext css m denv)0 m(WithTrace(trace)) None ty1 ty2)`

Comments

(0)