def no_dead_code

near-v-framework@0.4.0.0 · domain/architecture/system/release/ops.bend:120

import Base

120# Every source file is reachable from an entry: a package's, or the system's own.
121def no_dead_code(fs: List<&2, String>, +reached: List<&2, String>) -> Bool:
122  match fs:
123    case []:
124      True{}
125    case +f <> rest:
126      (Bool.not(is_source(f)) || List.contains(~String, ~String.eq, reached, f)) && no_dead_code(rest, reached)