Commitdd628c6

committed

we don't need to check for [],[] twice

1 parenta0d43bd commitdd628c6Copy full SHA for dd628c6

File tree

-12

lines changed

-12

lines changed

Lines changed: 9 additions & 12 deletions

Original file line number	Diff line number	Diff line change
`@@ -814,18 +814,15 @@ and private SolveTypEqualsTypKeepAbbrevsWithCxsln csenv ndeep m2 trace cxsln ty1`
`814`	`814`	`\| err-> ErrorD err)`
`815`	`815`
`816`	`816`	`andSolveTypEqualsTypEqns csenv ndeep m2 trace cxsln origl1 origl2=`
`817`		`-match origl1,origl2with`
`818`		`-\|[],[]-> CompleteD`
`819`		`-\|_->`
`820`		`-// We unwind Iterate2D by hand here for performance reasons.`
`821`		`-let recloop l1 l2=`
`822`		`-match l1,l2with`
`823`		`-\|[],[]-> CompleteD`
`824`		`-\| h1::t1, h2::t2->`
`825`		`- SolveTypEqualsTypKeepAbbrevsWithCxsln csenv ndeep m2 trace cxsln h1 h2++(fun()-> loop t1 t2)`
`826`		`-\|_->`
`827`		`- ErrorD(ConstraintSolverTupleDiffLengths(csenv.DisplayEnv,origl1,origl2,csenv.m,m2))`
`828`		`- loop origl1 origl2`
	`817`	`+// We unwind Iterate2D by hand here for performance reasons.`
	`818`	`+let recloop l1 l2=`
	`819`	`+match l1,l2with`
	`820`	`+\|[],[]-> CompleteD`
	`821`	`+\| h1::t1, h2::t2->`
	`822`	`+ SolveTypEqualsTypKeepAbbrevsWithCxsln csenv ndeep m2 trace cxsln h1 h2++(fun()-> loop t1 t2)`
	`823`	`+\|_->`
	`824`	`+ ErrorD(ConstraintSolverTupleDiffLengths(csenv.DisplayEnv,origl1,origl2,csenv.m,m2))`
	`825`	`+ loop origl1 origl2`
`829`	`826`
`830`	`827`	`andSolveFunTypEqn csenv ndeep m2 trace cxsln d1 d2 r1 r2=`
`831`	`828`	`SolveTypEqualsTypKeepAbbrevsWithCxsln csenv ndeep m2 trace cxsln d1 d2++(fun()->`

Comments

(0)