urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-04 10:32:34 +03:00
Code Issues Packages Projects Releases Wiki Activity

gall: +mo-tomb compiles

Browse Source
This commit is contained in:
Ted Blackman 2023-03-11 17:01:14 -06:00 committed by ~wicrum-wicrun
parent 1aa7b8105d
commit 541f4725ae
1 changed files with 18 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkg/arvo/sys/vane/gall.hoon
View File

@ -69,7 +69,7 @@
:: ::
+$ path-state +$ path-state
$: bob=(unit @ud) $: bob=(unit @ud)
fan=(map @ud (each noun @uvI)) fan=(map @ud (each noun @uvI)) :: TODO +mop?
== ==
:: $routes: new cuff; TODO: document :: $routes: new cuff; TODO: document
:: ::
@ -294,7 +294,23 @@
++ mo-tomb ++ mo-tomb
|= =path |= =path
^+ mo-core ^+ mo-core
!! =/ pit (scrub-case path)
=/ yon (snag-case path)
=/ old (~(get by sky.state) pit)
?~ old :: no-op if nonexistent
mo-core :: TODO trace
=/ val (~(get by fan.u.old) yon)
?~ val :: no-op if nonexistent
mo-core :: TODO trace
?- -.u.val
%| mo-core :: already tombstoned
%&
=. sky.state :: replace with hash
%+ ~(put by sky.state) pit
u.old(fan (~(put by fan.u.old) yon [%| (shax (jam p.u.val))]))
mo-core
==
::
++ mo-cull ++ mo-cull
|= =path |= =path
^+ mo-core ^+ mo-core