def report

bolt@1.27.0.0 · src/rules/perf/strings.bend:86

import bolt@1.27.0.0/src/rules/perf/strings.bend as Strings
import Base
import bolt@1.27.0.0/src/finding.bend as F

86# a finding when the match's strings are too long in all
87def report(tt: Tally, +path: String, +ll: U32, +cc: U32) -> List<&2, F.Finding>:
88  Tally{+n, +chars} = tt
89  Bool.pick(List<&2, F.Finding>, U32.is_gt(chars, 64),
90    [F.Finding{path, ll, cc, 5, "strings", "This match has " ++ U32.show(n) ++ " string-literal cases totalling " ++ U32.show(chars)
91      ++ " 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."}],
92    [])

Uses (9)

Used by (1)