Commitae1380c

committed

cleanup

1 parentd6cc617 commitae1380cCopy full SHA for ae1380c

File tree

-4

lines changed

-4

lines changed

Lines changed: 2 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -2366,11 +2366,11 @@ and ResolveOverloading`
`2366`	`2366`	`letres= better candidate other`
`2367`	`2367`	`//eprintfn "\n-------\nCandidate: %s\nOther: %s\nResult: %d\n" (NicePrint.stringOfMethInfo amap m denv (fst candidate).Method) (NicePrint.stringOfMethInfo amap m denv (fst other).Method) res`
`2368`	`2368`	`res>0)then`
`2369`		`- Some(candidate)`
	`2369`	`+ Somecandidate`
`2370`	`2370`	`else`
`2371`	`2371`	`None)`
`2372`	`2372`	`match bestMethodswith`
`2373`		`-\|[(calledMeth,_,t)]-> Some(calledMeth), CompleteD, WithTrace t`
	`2373`	`+\|[(calledMeth,_,t)]-> SomecalledMeth, CompleteD, WithTrace t`
`2374`	`2374`	`\| bestMethods->`
`2375`	`2375`	`letmethodNames=`
`2376`	`2376`	`letmethods=`

Lines changed: 2 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -102,8 +102,8 @@ val MakeConstraintSolverEnv : ContextInfo -> ConstraintSolverState -> range -> D`
`102`	`102`	`type Trace`
`103`	`103`
`104`	`104`	`type OptionalTrace=`
`105`		`-\| NoTrace`
`106`		`-\| WithTraceofTrace`
	`105`	`+\| NoTrace`
	`106`	`+\| WithTraceofTrace`
`107`	`107`
`108`	`108`	`valSimplifyMeasuresInTypeScheme:TcGlobals->bool->Typars->TType->TyparConstraint list->Typars`
`109`	`109`	`valSolveTyparEqualsTyp:ConstraintSolverEnv->int->range->OptionalTrace->TType->TType->OperationResult<unit>`

Comments

(0)