Strings.report: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/perf/strings.bend as Strings
Lines 86-92 of bolt@1.27.0.0/src/rules/perf/strings.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/perf/strings.bend&start_line=86&end_line=92

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

# a finding when the match's strings are too long in all
def report(tt: Tally, +path: String, +ll: U32, +cc: U32) -> List<&2, F.Finding>:
  Tally{+n, +chars} = tt
  Bool.pick(List<&2, F.Finding>, U32.is_gt(chars, 64),
    [F.Finding{path, ll, cc, 5, "strings", "This match has " ++ U32.show(n) ++ " string-literal cases totalling " ++ U32.show(chars)
      ++ " characters, over the limit of 64, which blows up compile time and memory; map the string to a sum type once and match on that."}],
    [])

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_gt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  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/perf/strings.bend&name=Tally