def parse.step.end

shake@0.7.0.0 · src/cli.bend:1237

import Base

1237# `--` ends option parsing
1238def parse.step.end(
1239  end: Bool,
1240  +tok: String,
1241  +args: List<&2, Arg>,
1242  +up: List<&2, Level>,
1243  +subs: List<&2, Sub>,
1244  +path: List<&2, String>,
1245  +binds: List<&2, Bind>,
1246  +pos: List<&2, Arg>,
1247  +seen: Bool
1248) -> St:
1249  match end:
1250    case True{}:
1251      St{Free{}, args, up, subs, path, binds, pos, True{}, seen}
1252    case False{}:
1253      parse.step.help(Bool.and(String.eq(tok, "help"), Bool.not(seen)), tok, args,
1254        up, subs, path, binds, pos, seen)