def reach.go

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

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

67def reach.go(
68  known: Bool,
69  +name: String,
70  rest: List<&2, String>,
71  +edges: Map<&2, List<&2, String>>,
72  +seen: Set()
73) -> Set():
74  match known:
75    case True{}:
76      reach(rest, edges, seen)
77    case False{}:
78      reach(
79        List.append(&2, String, Common.Edges.of(edges, name), rest),
80        edges,
81        Set.add(seen, name)
82      )