def tree.sub.look

emerging-eztoml@0.9.0.0 · main.bend:2354

import Base

2354# descend into one key, or record why it cannot be entered
2355def tree.sub.look(
2356  hit: Look,
2357  +name: String,
2358  +vs: List<&2, Val>,
2359  +job: Job,
2360  stack: List<&2, Fr>,
2361  +pre: String,
2362  heads: List<&2, String>,
2363  +inl: Bool,
2364  +mark: Bool
2365) -> Tw:
2366  match hit:
2367    case KMiss{}:
2368      Tw{[], job, FrNew{name, vs, tree.pre(pre, name)} <> stack, "",
2369        tree.pre(pre, name), heads.define(tree.sub.job(mark, job), tree.pre(pre, name),
2370          heads), inl}
2371    case KHead{path, rows}:
2372      tree.sub.head(tree.sub.dot(tree.sub.job(mark, job)), path, rows, name, vs, job,
2373        stack, pre, heads, inl, mark)
2374    case KInl{}:
2375      Tw{vs, job, stack, "inline table is closed", pre, heads, inl}
2376    case KAots{path, elems}:
2377      tree.sub.arr(tree.sub.dot(tree.sub.job(mark, job)), path, elems, name, vs, job,
2378        stack, pre, heads, inl)
2379    case KNo{why}:
2380      Tw{vs, job, stack, why, pre, heads, inl}