def location.local

bolt@1.27.0.0 · src/lsp/proto.bend:173

import Base
import emerging-ezjson@1.2.0.0/main.bend as Ezjson
import emerging-ezjson@1.2.0.0/src/value.bend as J
import bolt@1.27.0.0/src/syntax/bind.bend as Bind
import bolt@1.27.0.0/src/lsp/enc.bend as Enc

173# exactly the binder's name
174def location.local(cc: Enc.Cols, uri: String, bb: Bind.Bind) -> J.Json:
175  Bind.Bind{name, line, col, kind, note} = bb
176  Ezjson.obj([("uri", J.JStr{uri}), ("range", name_range(cc, line, col, name))])