def copy_n

bendtorch@1.3.0.0 · main.bend:1385

import Base

1385# dst[di..] = src[si..], cnt + 1 numbers; r holds src[si], already read
1386def copy_n(cnt: Nat, +si: U32, +di: U32, o: Array<F32>, r: Array<F32> & F32) -> A2:
1387  match cnt r:
1388    case 0n Tuple{s, +x}:
1389      A2{s, Array.set(F32, o, di, x)}
1390    case 1n+n Tuple{s, +x}:
1391      copy_n(n, (si + 1 : U32), (di + 1 : U32), Array.set(F32, o, di, x), Array.get(F32, s, (si + 1 : U32)))