def marks.run

bolt@1.27.0.0 · src/lint/plan.bend:416

import Base
import bolt@1.27.0.0/src/lint/world.bend as W
import bolt@1.27.0.0/src/src.bend as Src
import bolt@1.27.0.0/src/role.bend as Role

416# the marks a run's roles are read from: over the whole tree, the sources'
417# own; over files named on the line, the graph's, every file of the tree
418# read for its imports, so the main.bend that imports a named file makes it
419# code even when it is not named
420def marks.run(paths: List<&2, String>, +world: W.World, +ss: List<&2, Src.Src>) -> List<&2, Role.Mark>:
421  match paths:
422    case Nil{}:
423      Role.marks(ss)
424    case Con{_p, _rest}:
425      marks.named(world)