def dirty.lines

ezx@1.11.0.0 · src/pub/plan.bend:121

import Base

121# whether any line of the status says anything. The only empty line git status
122# ever produces is the one `String.lines` makes of the trailing newline, so an
123# empty line is the absence of a change rather than a change with no name.
124def dirty.lines(ls: List<&2, String>) -> Bool:
125  match ls:
126    case []:
127      False{}
128    case +h <> t:
129      dirty.step(String.is_empty(h), _u => dirty.lines(t))