def check.go
import bolt@1.27.0.0/src/rules/style/space.bend as Spaceimport Base
import bolt@1.27.0.0/src/finding.bend as F
83def check.go(lines: List<&2, String>, +path: String, +nn: U32) -> List<&2, F.Finding>:
84 match lines:
85 case Nil{}:
86 Nil{}
87 case Con{line, rest}:
88 check.line(path, nn, String.to_list(line), check.go(rest, path, (nn + 1 : U32)))