Commit8705df0

authored and

committed

Use a dictionary for sequence points partition (#4843)

1 parente94fbd2 commit8705df0Copy full SHA for 8705df0

File tree

+16

-13

lines changed

+16

-13

lines changed

Lines changed: 16 additions & 13 deletions

Original file line number	Diff line number	Diff line change
`@@ -526,19 +526,22 @@ let writePdbInfo showTimes f fpdb info cvChunk =`
`526`	`526`
`527`	`527`	`// Partition the sequence points by document`
`528`	`528`	`letspsets=`
`529`		`-letres=(Map.empty: Map<int,PdbSequencePoint list ref>)`
`530`		`-letadd res(_,sp)=`
`531`		`-letk= sp.Document`
`532`		`-match Map.tryFind k reswith`
`533`		`-\| Some xsR-> xsR:= sp::!xsR; res`
`534`		`-\| None-> Map.add k(ref[sp]) res`
`535`		`-`
`536`		`-letres= Array.fold add res sps`
`537`		`-letres= Map.toList res// ordering may not be stable`
`538`		`- List.map(fun(_,x)-> Array.ofList!x) res`
`539`		`-`
`540`		`- spsets\|> List.iter(fun spset->`
`541`		`-if spset.Length>0then`
	`529`	`+letres= Dictionary<int,PdbSequencePoint list ref>()`
	`530`	`+for(_,sp)in spsdo`
	`531`	`+letk= sp.Document`
	`532`	`+let mutablexsR= Unchecked.defaultof<_>`
	`533`	`+if res.TryGetValue(k,&xsR)then`
	`534`	`+ xsR:= sp::!xsR`
	`535`	`+else`
	`536`	`+ res.[k]<- ref[sp]`
	`537`	`+`
	`538`	`+ res`
	`539`	`+`
	`540`	`+ spsets`
	`541`	`+\|> Seq.iter(fun kv->`
	`542`	`+letspset=!kv.Value`
	`543`	`+ifnot spset.IsEmptythen`
	`544`	`+letspset= Array.ofList spset`
`542`	`545`	`Array.sortInPlaceWith SequencePoint.orderByOffset spset`
`543`	`546`	`letsps=`
`544`	`547`	`spset\|> Array.map(fun sp->`

Comments

(0)