Up.edit.sources: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/lock/up.bend as Up Lines 1128-1136 of ezx@1.11.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/up.bend&start_line=1128&end_line=1136 import Base import ezx@1.11.0.0/src/ledger/upgrade.bend as U # every source with each moved hash rewritten in its imports, written only # when that changes it def edit.sources(fs: List<&2, Found>, +es: List<&2, U.Swap>) -> List<&2, Edit>: match fs: case []: [] case Found{+at, +text} <> t: +next = U.reimport.many(es, text) edit.if(String.eq(next, text), at, next, edit.sources(t, es)) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=Swap https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=reimport.many https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Edit https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Found https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=edit.if