def missing_refs

cli@0.2.0.0 · cli.bend:1909

import Base

1909def missing_refs(targets: List<&2, String>, +ids: List<&2, String>,
1910    +at: String) -> List<&2, Problem>:
1911  match targets:
1912    case Nil{}:
1913      Nil{}
1914    case +target <> tail:
1915      List.append(&2, Problem,
1916        when_problem(Bool.not(List.contains(~String, ~String.eq, ids, target)),
1917          BadRef{at, target}), missing_refs(tail, ids, at))