def verdict.go

bend-lint-pack@0.1.1.0 · dead/def.bend:136

import Base
import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
import bend-lint-pack@0.1.1.0/common.bend as Common

136# `none`: there is no entry point. `shown`: the owners reported on.
137def verdict.go(
138  none: Bool,
139  +rs: List<&2, String>,
140  shown: List<&2, Common.Seen>,
141  nodes: Set(),
142  +edges: Map<&2, List<&2, String>>,
143  into: Map<&2, List<&2, String>>
144) -> List<&2, Lint.Diag>:
145  match none:
146    case True{}:
147      [nothing()]
148    case False{}:
149      List.reverse(
150        &2,
151        Lint.Diag,
152        report(shown, nodes, reach(rs, edges, Set.new()), into, [])
153      )