def parse.finish.miss

shake@0.7.0.0 · src/cli.bend:1457

import Base

1457# a missing required name, or the matched result
1458def parse.finish.miss(
1459  mm: Maybe<&2, String>,
1460  path: List<&2, String>,
1461  +lvs: List<&2, Level>
1462) -> Result<&2, &2, ParseErr, Matched>:
1463  match mm:
1464    case Some{n}:
1465      Fail{Missing{path, n}}
1466    case None{}:
1467      Done{matched.build(lvs, path)}