def drop_parts

bend-lint-rules@0.2.0.0 · layout/format.bend:1693

import Base

1693# Drops the trailing parts that hold only newlines, keeping one part.
1694def drop_parts(parts: List<&2, Part>, go: Bool) -> List<&2, Part>:
1695  match parts go:
1696    case Con{p, +rest} True{}:
1697      drop_parts(rest, should_drop(rest))
1698    case ps False{}:
1699      ps
1700    case Nil{} _:
1701      Nil{}