def check.line

bolt@1.27.0.0 · src/rules/style/space.bend:76

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

76def check.line(+path: String, +nn: U32, +cs: List<&2, Char>, +more: List<&2, F.Finding>) -> List<&2, F.Finding>:
77  +len = U32.from_nat(List.length(&2, Char, cs))
78  Bool.pick(List<&2, F.Finding>, trailing(cs),
79    F.Finding{path, nn, (len - 1 : U32), 1, "space", "Line has trailing whitespace."} <> more,
80    Bool.pick(List<&2, F.Finding>, has_tab(cs),
81      F.Finding{path, nn, 0, 1, "space", "Line contains a tab; indent with spaces."} <> more, more))