Escape.check.go: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/escape.bend as Escape
Lines 112-121 of bolt@1.27.0.0/src/rules/correctness/escape.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&start_line=112&end_line=121

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/syntax/lex.bend as Lex

def check.go(toks: List<&2, Lex.Tok>, +path: String) -> List<&2, F.Finding>:
  match toks:
    case Con{Lex.Tok{Lex.TStr{}, t, l, c}, rest}:
      List.append(&2, F.Finding, scan(syms(String.to_list(t)), path, l, c), check.go(rest, path))
    case Con{Lex.Tok{Lex.TChar{}, t, l, c}, rest}:
      List.append(&2, F.Finding, scan(syms(String.to_list(t)), path, l, c), check.go(rest, path))
    case Con{h, rest}:
      check.go(rest, path)
    case Nil{}:
      Nil{}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.to_list
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&name=scan
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&name=syms
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=Tok
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=TokKind