Commit909f1a4

committed

formatting

1 parent331dde6 commit909f1a4Copy full SHA for 909f1a4

File tree

-9

lines changed

-9

lines changed

Lines changed: 9 additions & 9 deletions

Original file line number	Diff line number	Diff line change
`@@ -172,11 +172,11 @@ type ConstraintSolverState =`
`172`	`172`	`}`
`173`	`173`
`174`	`174`	`static memberNew(g,amap,infoReader,tcVal)=`
`175`		`-{ g=g`
`176`		`-amap=amap`
`177`		`-ExtraCxs= HashMultiMap(10, HashIdentity.Structural)`
`178`		`-InfoReader=infoReader`
`179`		`-TcVal= tcVal}`
	`175`	`+{ g=g`
	`176`	`+ amap=amap`
	`177`	`+ ExtraCxs= HashMultiMap(10, HashIdentity.Structural)`
	`178`	`+ InfoReader=infoReader`
	`179`	`+ TcVal= tcVal}`
`180`	`180`
`181`	`181`
`182`	`182`	`typeConstraintSolverEnv=`
`@@ -193,12 +193,12 @@ type ConstraintSolverEnv =`
`193`	`193`	`membercsenv.amap= csenv.SolverState.amap`
`194`	`194`
`195`	`195`	`letMakeConstraintSolverEnv contextInfo css m denv=`
`196`		`-{ SolverState=css`
`197`		`- m=m`
	`196`	`+{ SolverState=css`
	`197`	`+ m=m`
`198`	`198`	`eContextInfo= contextInfo`
`199`	`199`	`// Indicates that when unifiying ty1 = ty2, only type variables in ty1 may be solved`
`200`		`- MatchingOnly=false`
`201`		`- EquivEnv=TypeEquivEnv.Empty`
	`200`	`+ MatchingOnly=false`
	`201`	`+ EquivEnv=TypeEquivEnv.Empty`
`202`	`202`	`DisplayEnv= denv}`
`203`	`203`
`204`	`204`

Comments

(0)