def forking

bend-lint-rules@0.2.0.0 · performance/gpu_fit.bend:158

import bend-lint-rules@0.2.0.0/performance/gpu_fit.bend as GpuFit
import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
import bend-lint-api@0.2.0.0/shared/lists.bend as Lists
import bend-lint-api@0.2.0.0/shared/names.bend as Names

158# The definitions among `names` that a parallel let is in, onto `out`.
159def forking(
160  names: List<&2, String>,
161  +defs: Map<&2, Maybe<&2, Lint.Def>>,
162  out: List<&2, String>
163) -> List<&2, String>:
164  match names:
165    case Nil{}:
166      out
167    case Con{+t, rest}:
168      forking(
169        rest,
170        defs,
171        Lists.push(
172          String,
173          Lists.when(String, Lint.Def.forks(Names.find(Lint.Def, defs, t)), t),
174          out
175        )
176      )

Uses (9)

Used by (1)