urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-28 05:22:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

gall: enforce monotonic growth of cases

Browse Source
This commit is contained in:
~wicrum-wicrun 2023-03-28 20:27:27 +02:00
parent f0043aa4ec
commit e4ceed09ad
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -972,6 +972,9 @@
. .
=/ 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
=> ?~ lat=(ram:on-path fan.u.old) .
?> (gte yon key.u.lat)
.
%+ ~(put by sky.yoke) spur %+ ~(put by sky.yoke) spur
u.old(fan (put:on-path fan.u.old yon [%& noun])) u.old(fan (put:on-path fan.u.old yon [%& noun]))
?- -.u.val ?- -.u.val