Relock.keep.read: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock Lines 113-122 of ezx@1.11.0.0/src/ws/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/relock.bend&start_line=113&end_line=122 import Base import ezx@1.11.0.0/src/ledger/manifest.bend as M import ezx@1.11.0.0/src/ws/workspace.bend as W # once it is known whether the root's ledger, `old`, had a `[workspace]` # table def keep.read(rd: W.Read, +old: String, +text: String) -> String: match rd: case W.Root{+spec}: keep.parsed(M.parse(text), spec, W.root.of(old), text) case W.Lone{}: text case W.Bad{_why}: text Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=parse https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=keep.parsed https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Read https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=root.of