def require_go

cli@0.2.0.0 · cli.bend:4193

import Base

4193def require_go(ids: List<&2, String>,
4194    +items: List<&2, SpecItem>, +fields: List<&2, Field>,
4195    found: Maybe<&2, ScanFault>) -> Maybe<&2, ScanFault>:
4196  match ids found:
4197    case Nil{} Some{fault}: Some{fault}
4198    case Nil{} None{}: None{}
4199    case id <> tail Some{fault}: Some{fault}
4200    case id <> tail None{}:
4201      require_go(tail, items, fields,
4202        require_for_id(find_spec_info(items, id, None{}), items, fields))