B:BD[
2.4374] → [
2.4374:4457]
∅:D[
2.4457] → [
4.4436:4518]
B:BD[
4.4436] → [
4.4436:4518]
B:BD[
4.4518] → [
2.4458:4550]
∅:D[
2.4550] → [
4.4618:4707]
B:BD[
4.4618] → [
4.4618:4707]
let items := rankAndSelectCompletions query (parseCompletionItems result) 40
let completion :=
if items.isEmpty then
none
else
some (uri, { items := items, selected := 0, anchorRow := row, anchorCol := col })
uiStateRef.set { st with pendingCompletion := pending', completion := completion }
if !isLatest then
uiStateRef.set { st with pendingCompletion := pending' }
else
let items := rankAndSelectCompletions query (parseCompletionItems result) 40
let completion :=
if items.isEmpty then
none
else
some (uri, { items := items, selected := 0, anchorRow := row, anchorCol := col })
uiStateRef.set {
st with
pendingCompletion := pending'
latestCompletionReqId := none
completion := completion
}