def norm.walk

ezx@1.11.0.0 · src/pkg/path.bend:88

import Base

88# the walk one component at a time. Base's `List.foldl` applies an erased
89# function parameter, which Bend's termination check cannot see through, so
90# every def reaching it is reported as relying on unsafe code; a walk written
91# out is structural and costs nothing.
92def norm.walk(cs: List<&2, String>, st: Walk) -> Walk:
93  match cs:
94    case []:
95      st
96    case h <> t:
97      norm.walk(t, norm.step(st, h))