def dead_required_items

cli@0.2.0.0 · cli.bend:2271

import Base

2271def dead_required_items(items: List<&2, Item>, +at: String) ->
2272    List<&2, Problem>:
2273  match items:
2274    case Nil{}: Nil{}
2275    case Arg{usage, help, +attrs} <> tail:
2276      List.append(&2, Problem,
2277        dead_required_arg(Bool.or(has_global(attrs),
2278          Bool.not(has_required(attrs))), usage, attrs, at),
2279        dead_required_items(tail, at))
2280    case head <> tail: dead_required_items(tail, at)