def done

bend-lint-rules@0.2.0.0 · lib/linter/directives.bend:1012

import Base
import bend-lint-api@0.2.0.0/shared/lists.bend as Lists
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

1012def done(
1013  a: Applied,
1014  coverings: List<&2, Covering>,
1015  unpaired: List<&2, Said>,
1016  saids: List<&2, Said>,
1017  +linted: Linted
1018) -> Suppressed:
1019  match a:
1020    case Applied{kept, suppressed, used}:
1021      Suppressed{
1022        Lists.concat(
1023          &2,
1024          Lint.Found,
1025          [
1026            List.reverse(&2, Lint.Found, kept),
1027            Wrong.found(saids, Linted.path(linted), []),
1028            Wrong.found(List.reverse(&2, Said, unpaired), Linted.path(linted), []),
1029            Unmet.go(Covering.ran(coverings, Linted.ran(linted), []), used, Linted.path(linted), [])
1030          ]
1031        ),
1032        List.reverse(&2, Lint.Found, suppressed)
1033      }