def tree.sub.head.go

emerging-eztoml@0.9.0.0 · main.bend:2292

import Base

2292# enter a table, unless a dotted key would add to a table a header defined
2293def tree.sub.head.go(
2294  shut: Bool,
2295  path: String,
2296  rows: List<&2, Val>,
2297  +name: String,
2298  vs: List<&2, Val>,
2299  +job: Job,
2300  stack: List<&2, Fr>,
2301  +pre: String,
2302  heads: List<&2, String>,
2303  inl: Bool,
2304  mark: Bool
2305) -> Tw:
2306  match shut:
2307    case True{}:
2308      Tw{vs, job, stack, "duplicate table", pre, heads, inl}
2309    case False{}:
2310      Tw{rows, job, FrRep{name, vs, path} <> stack, "", tree.pre(pre, name),
2311        heads.define(tree.sub.job(mark, job), tree.pre(pre, name), heads), inl}