def advance_column

bend-edit-distance@0.2.2.0 · src/Myers.bend:121

import Base

121def advance_column(blocks: List<Block>, profiles: List<&2, Peq>, +symbol: U32,
122                   hin: Carry) -> List<Block>:
123  match blocks profiles:
124    case Nil{} _:
125      Nil{}
126    case _ Nil{}:
127      Nil{}
128    case block <> rest profile <> tail:
129      advance_column.step(
130        calculate_block(block, peq_get(profile, symbol, U32.is_ne(U32.and(symbol, 1), 0)), hin),
131        hout => advance_column(rest, tail, symbol, hout))