def ran_chunk_more

bendvy-ecs-core@0.1.0.4 · ordinary_app_execution.bend:93

import Base
import bendvy-ecs-core@0.1.0.4/execution_trace.bend as Trace
import bendvy-ecs-core@0.1.0.4/schedule.bend as Sch

93# Sch.Ran supplies position only. The completion/error comes from the actual
94# dispatch result above, never from a guessed interpretation of Ran.
95def ran_chunk_more(~Error:Data,event:Trace.TraceEvent<Error>,chunk:List<&2,Trace.TraceEvent<Error>> & List<&2,Trace.TraceEvent<Error>>) -> List<&2,Trace.TraceEvent<Error>> & List<&2,Trace.TraceEvent<Error>>:
96  match chunk:
97    case (prefix,remaining):(event <> prefix,remaining)