def inl.top

emerging-eztoml@0.9.0.0 · main.bend:2878

import Base

2878# close an inline table and place it
2879def inl.top(
2880  stack: List<&2, Ctx>,
2881  bad: String,
2882  rows: List<&2, Val>,
2883  heads: List<&2, String>,
2884  back: Lex,
2885  qkind: QKind,
2886  uni: U32,
2887  left: U32,
2888  arrtab: Bool,
2889  lead: Bool
2890) -> St:
2891  match stack:
2892    case CInl{inl, parts, here} <> rest:
2893      val.take(St{bad, rows, heads, here, parts, [], LTop{}, back, qkind, rest, HNone{},
2894        uni, left, arrtab, lead}, VInl{inl.seal(inl)})
2895    case _:
2896      St{err.first(bad, "unclosed"), rows, heads, [], [], [], LSink{}, back, qkind, [],
2897        HNone{}, uni, left, arrtab, lead}