def where_bound

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

import Base
import bolt@1.27.0.0/src/syntax/bind.bend as Bind

149# where a local was bound, for hover
150def where_bound(kk: Bind.BindKind, line: U32) -> String:
151  match kk:
152    case Bind.KLocal{}:
153      ", bound on line " ++ U32.show((line + 1 : U32))
154    case Bind.KPat{}:
155      ", bound on line " ++ U32.show((line + 1 : U32))
156    case Bind.KFor{}:
157      ", bound on line " ++ U32.show((line + 1 : U32))
158    case other:
159      ""