def act.insert.go

gralha-coverage@0.1.0.1 · cover.bend:256

import Base

256def act.insert.go(i: Ins) -> List<&2, Act>:
257  match i:
258    case Placed{list}: list
259    case Passed{h, t, a}:
260      match t:
261        case Nil{}: Con{h, Con{a, Nil{}}}
262        case Con{Act{c2, x2, y2, s2, b2, d2}, t2}:
263          Act{ac, ax, ay, as, ab, ad} = a
264          +cc = c2
265          +acc = ac
266          Con{h, act.insert.go(act.ins.pick(F32.is_ge(acc, cc), Act{acc, ax, ay, as, ab, ad}, Act{cc, x2, y2, s2, b2, d2}, t2))}