def parse.enter

shake@0.7.0.0 · src/cli.bend:1043

import Base

1043# this Sub's arguments become current, with no bindings of its own; the
1044# command it leaves keeps its arguments and bindings above it
1045def parse.enter(
1046  ss: Sub,
1047  +args: List<&2, Arg>,
1048  +up: List<&2, Level>,
1049  +path: List<&2, String>,
1050  binds: List<&2, Bind>
1051) -> St:
1052  Sub{+name, _a, +next, next_subs} = ss
1053  St{Free{}, next, Level{args, binds} <> up, next_subs,
1054    List.append(&2, String, path, [name]), [], pos_of(next), False{},
1055    False{}}