def block.body
yaml-for-bend@0.1.1.0 · scan.bend:1099
import yaml-for-bend@0.1.1.0/scan.bend as Scan
import Base
import yaml-for-bend@0.1.1.0/token.bend as T
1099def block.body(h: Head, +st: Sc, +folded: Bool, +start: T.Mark) -> Step:
1100 match h:
1101 case Head{chomp, +inc, +cur}:
1102 +pind = sc.ind(st)
1103 +given = Nat.add(pind, inc)
1104 block.done(bs.run(Nat.add(Nat.mul(cur.left(cur), 3n), 4n), folded, pind, start,
1105 Bs{cur, "", Bool.pick(Nat, Nat.is_eq(inc, 0n), 0n, given), 0n, False{}, False{}, 0n, Breaks{}}), chomp, st, folded, start)
1106 case HeadBad{why}:
1107 fail(st, why, start)