def tree.leaf.put

emerging-eztoml@0.9.0.0 · main.bend:2112

import Base

2112# a key that is already present is a duplicate
2113def tree.leaf.put(
2114  hit: Hit,
2115  name: String,
2116  vs: List<&2, Val>,
2117  val: Val,
2118  stack: List<&2, Fr>,
2119  bad: String,
2120  heads: List<&2, String>
2121) -> End:
2122  match hit:
2123    case Found{_v}:
2124      tree.rebuild(stack, vs, err.first(bad, "duplicate key"), heads)
2125    case Miss{}:
2126      tree.rebuild(stack, VPair{name, val} <> vs, bad, heads)