def step.go

bolt@1.27.0.0 · src/lsp/report.bend:80

import Base

80def step.go(
81  kk: Line,
82  located: Bool,
83  seen: Bool,
84  msg: List<&2, String>,
85  +line: U32,
86  place: String,
87  out: List<&2, Raw>
88) -> St:
89  match kk located seen:
90    case KError{rest} l s:
91      St{True{}, False{}, push(String.trim_start(rest), []), 0, "", flush(s, msg, line, place, out)}
92    case KLocation{p} l s:
93      St{s, True{}, msg, line, String.trim_start(p), out}
94    case KOther{text} False{} True{}:
95      St{True{}, False{}, push(clean(text), msg), line, place, out}
96    case KOther{text} True{} True{}:
97      St{True{}, True{}, msg, Maybe.default(&2, U32, marker(text), line), place, out}
98    case KOther{text} l False{}:
99      St{False{}, l, msg, line, place, out}