ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-19 04:41:37 +03:00
Code Issues Packages Projects Releases Wiki Activity

gall: add +trace to scry binding handlers

Browse Source
This commit is contained in:
Ted Blackman 2023-03-16 10:48:46 -06:00 committed by ~wicrum-wicrun
parent 128375c4aa
commit e9e803b346
1 changed files with 19 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -968,7 +968,7 @@
=> ?~ bob.u.old => ?~ bob.u.old
. .
~| gall-grow-bob+[path actual=yon max=u.bob.u.old] ~| gall-grow-bob+[path actual=yon max=u.bob.u.old]
?> (gth yon u.bob.u.old) ?> (gth yon u.bob.u.old) :: enforce high water mark
. .
=/ val (get:on-path fan.u.old yon) =/ val (get:on-path fan.u.old yon)
?~ val :: insert binding at new case ?~ val :: insert binding at new case
@ -995,18 +995,29 @@
=/ yon ?>(?=(%ud -.case) p.case) =/ yon ?>(?=(%ud -.case) p.case)
=/ old (~(get by sky.yoke) spur) =/ old (~(get by sky.yoke) spur)
?~ old :: no-op if nonexistent ?~ old :: no-op if nonexistent
sky.yoke :: TODO trace %. sky.yoke
%+ trace odd.veb.bug.state
[leaf+"gall: {<agent-name>}: tomb {<[case spur]>} no sky"]~
=/ val (get:on-path fan.u.old yon) =/ val (get:on-path fan.u.old yon)
?~ val :: no-op if nonexistent ?~ val :: no-op if nonexistent
sky.yoke :: TODO trace %. sky.yoke
%+ trace odd.veb.bug.state
[leaf+"gall: {<agent-name>}: tomb {<[case spur]>} no val"]~
?- -.u.val ?- -.u.val
%| sky.yoke :: already tombstoned %| :: already tombstoned, no-op
%& :: replace with hash %. sky.yoke
%+ trace odd.veb.bug.state
[leaf+"gall: {<agent-name>}: tomb {<[case spur]>} no-op"]~
::
%& :: replace with hash
%+ ~(put by sky.yoke) spur %+ ~(put by sky.yoke) spur
u.old(fan (put:on-path fan.u.old yon [%| (shax (jam p.u.val))])) u.old(fan (put:on-path fan.u.old yon [%| (shax (jam p.u.val))]))
== ==
:: +ap-cull: delete all bindings up to and including .case :: +ap-cull: delete all bindings up to and including .case
:: ::
:: Also store .case as the high water mark for .spur
:: to prevent any deleted cases from being re-bound later.
::
++ ap-cull ++ ap-cull
|= [=case =spur] |= [=case =spur]
^+ ap-core ^+ ap-core
@ -1014,7 +1025,9 @@
=/ yon ?>(?=(%ud -.case) p.case) =/ yon ?>(?=(%ud -.case) p.case)
=/ old (~(get by sky.yoke) spur) =/ old (~(get by sky.yoke) spur)
?~ old :: no-op if nonexistent ?~ old :: no-op if nonexistent
sky.yoke :: TODO trace %. sky.yoke
%+ trace odd.veb.bug.state
[leaf+"gall: {<agent-name>}: cull {<[case spur]>} no-op"]~
%+ ~(put by sky.yoke) spur :: delete all older paths %+ ~(put by sky.yoke) spur :: delete all older paths
[`yon (lot:on-path fan.u.old `+(yon) ~)] [`yon (lot:on-path fan.u.old `+(yon) ~)]
:: +ap-from-internal: internal move to move. :: +ap-from-internal: internal move to move.