def tree.leaf.bad

emerging-eztoml@0.9.0.0 · main.bend:2235

import Base

2235# a failed walk rebuilds what it has
2236def tree.leaf.bad(
2237  ok: Bool,
2238  name: String,
2239  vs: List<&2, Val>,
2240  job: Job,
2241  stack: List<&2, Fr>,
2242  bad: String,
2243  pre: String,
2244  heads: List<&2, String>
2245) -> End:
2246  match ok:
2247    case False{}:
2248      tree.rebuild(stack, vs, bad, heads)
2249    case True{}:
2250      tree.leaf.job(job, name, vs, stack, bad, pre, heads)