def ledger.seen

ezx@1.11.0.0 · src/doctor/plan.bend:793

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

793# the ledger as doctor sees it: its package, its entry and its dependencies.
794# Its `[tools.*]` pins are not dependencies, so they are dropped before
795# anything but the lock check is decided (EZ-LED-5). The lock check reads the
796# ledger's text as `ez lock` does, since the lock records the pins.
797def ledger.seen(ledger: M.Read) -> M.Read:
798  match ledger:
799    case M.Bad{why}:
800      M.Bad{why}
801    case M.Good{m}:
802      M.Manifest{n, e, b, h, pa, pv, ds, _ts} = m
803      M.Good{M.Manifest{n, e, b, h, pa, pv, ds, []}}