urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-01 06:35:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6848 from urbit/master

Browse Source 
Merge master to develop
This commit is contained in:
Pyry Kovanen 2023-11-17 19:45:34 +02:00 committed by GitHub
commit 53a876e977
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1012,7 +1012,7 @@
=/ ski (~(gut by sky.yoke) spur *path-state)
=- ski(fan (put:on-path fan.ski -< -> &/page))
?~ las=(ram:on-path fan.ski)
[(fall bob.ski 0) now]
[?~(bob.ski 0 +(u.bob.ski)) now]
:_ (max now +(p.val.u.las))
?~(bob.ski +(key.u.las) +((max key.u.las u.bob.ski)))
:: +ap-tomb: tombstone -- replace bound value with hash
@ -1057,8 +1057,21 @@
%. sky.yoke
%+ trace odd.veb.bug.state
[leaf+"gall: {<agent-name>}: cull {<[case spur]>} no-op"]~
?~ las=(ram:on-path fan.u.old)
%. sky.yoke
%+ trace &
[leaf+"gall: {<agent-name>}: cull {<[case spur]>} no paths"]~
=/ fis (need (pry:on-path fan.u.old))
?. &((gth yon key.fis) (lte yon key.u.las))
%. sky.yoke
%+ trace &
:_ ~
:- %leaf
%+ weld
"gall: {<agent-name>}: cull {<[case spur]>} out of range, "
"min: {<key.fis>}, max: {<key.u.las>}"
%+ ~(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.
::
:: We convert from cards to duct-indexed moves when resolving