def List.sort.go

Base · base.bend:1191

1191def List.sort.go(
1192  ~A: Data, ~le: A -> A -> Bool, fuel: Nat, +n: Nat, runs: List<&2, List<&2, A>>
1193) -> List<&2, A>:
1194  match fuel:
1195    case 0n:
1196      List.concat(&2, A, runs)
1197    case 1n+f:
1198      match runs:
1199        case Nil{}:
1200          Nil{}
1201        case r <> Nil{}:
1202          r
1203        case r1 <> r2 <> rest:
1204          List.sort.go(~A, ~le, f, n,
1205            List.sort.pass(~A, ~le, n, r1 <> r2 <> rest))