Parse.close_arr: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/parse.bend as Parse
Lines 135-143 of emerging-ezjson@1.3.0.0/src/parse.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/parse.bend&start_line=135&end_line=143

import Base
import emerging-ezjson@1.3.0.0/src/value.bend as V

# a `]`: the innermost frame must be an array, empty or just after a value
def close_arr(stack: List<&2, Frame>, root: Maybe<&2, V.Json>, bad: Bool) -> P:
  match stack:
    case Con{FArr{V.JNil{}, SValue{}}, rest}:
      put(rest, root, V.JArr{V.JNil{}}, bad)
    case Con{FArr{items, SComma{}}, rest}:
      put(rest, root, V.JArr{V.reverse(items, V.JNil{})}, bad)
    case other:
      P{True{}, root, Nil{}}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/parse.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/parse.bend&name=P
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/parse.bend&name=Slot
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/parse.bend&name=put
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=reverse