Escape.finding: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/escape.bend as Escape
Lines 81-88 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=81&end_line=88

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

# the finding for `\0` at a column, the digits after it in ds
def finding(+ds: List<&2, Char>, +path: String, +line: U32, +col: U32) -> F.Finding:
  +digits = String.from_list(ds)
  Lazy.stop(F.Finding, List.is_empty(&2, Char, ds),
    F.Finding{path, line, col, 3, "escape",
      "\\0 followed by digits is a NUL character and then those digits, not an octal escape; write \\u{..} instead."},
    _u => F.Finding{path, line, col, (U32.from_nat(String.length(digits)) + 2 : U32), "escape",
      "\\0" ++ digits ++ " is a NUL character followed by \"" ++ digits ++ "\", not an octal escape; write \\u{" ++ hex(value(ds, 0)) ++ "}."})

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.from_list
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat
  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/lazy/lazy.bend&name=stop
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&name=hex
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&name=value