def arr.top

emerging-eztoml@0.9.0.0 · main.bend:2840

import Base

2840# close an array and place it
2841def arr.top(
2842  stack: List<&2, Ctx>,
2843  bad: String,
2844  rows: List<&2, Val>,
2845  heads: List<&2, String>,
2846  back: Lex,
2847  qkind: QKind,
2848  uni: U32,
2849  left: U32,
2850  arrtab: Bool,
2851  lead: Bool
2852) -> St:
2853  match stack:
2854    case CArr{items, parts, here} <> rest:
2855      val.take(St{bad, rows, heads, here, parts, [], LTop{}, back, qkind, rest, HNone{},
2856        uni, left, arrtab, lead}, VArr{List.reverse(&2, Val, items)})
2857    case _:
2858      St{err.first(bad, "unclosed"), rows, heads, [], [], [], LSink{}, back, qkind, [],
2859        HNone{}, uni, left, arrtab, lead}