urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-24 19:44:07 +03:00
Code Issues Packages Projects Releases Wiki Activity

gall: check for properly versioned sky only at scry entry points

Browse Source
This commit is contained in:
pkova 2023-11-23 14:05:23 +02:00
parent b0bdfcce61
commit 44f731d15e
1 changed files with 12 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1791,16 +1791,12 @@
^+ [fex ap-core] ^+ [fex ap-core]
?~ caz [(flop fex) ap-core] ?~ caz [(flop fex) ap-core]
?- i.caz ?- i.caz
[%pass * %grow *] $(caz t.caz, ap-core (ap-grow +.q.i.caz))
[%pass * %tomb *] $(caz t.caz, ap-core (ap-tomb +.q.i.caz))
[%pass * %cull *] $(caz t.caz, ap-core (ap-cull +.q.i.caz))
[%pass * ?(%agent %arvo %pyre) *] $(caz t.caz, fex [i.caz fex]) [%pass * ?(%agent %arvo %pyre) *] $(caz t.caz, fex [i.caz fex])
[%give *] $(caz t.caz, fex [i.caz fex]) [%give *] $(caz t.caz, fex [i.caz fex])
[%slip *] !! [%slip *] !!
::
[%pass * %grow *]
$(caz t.caz, ap-core (ap-grow ['1' +<.q.i.caz] +>.q.i.caz))
[%pass * %tomb *]
$(caz t.caz, ap-core (ap-tomb +<.q.i.caz ['1' +>.q.i.caz]))
[%pass * %cull *]
$(caz t.caz, ap-core (ap-cull +<.q.i.caz ['1' +>.q.i.caz]))
== ==
:: +ap-handle-ken :: +ap-handle-ken
:: ::
@ -2250,7 +2246,7 @@
%- molt %- molt
%+ turn ~(tap by sky.e) %+ turn ~(tap by sky.e)
|= [=spur p=path-state] |= [=spur p=path-state]
:- ['1' spur] :- spur
:- ~ :- ~
=/ m ~(val by fan.p) =/ m ~(val by fan.p)
%+ gas:on-path *_fan.p %+ gas:on-path *_fan.p
@ -2370,14 +2366,17 @@
?: ?& =(%w care) ?: ?& =(%w care)
=([%$ %da now] coin) =([%$ %da now] coin)
=(our ship) =(our ship)
?=([%'1' *] path)
== ==
=> .(path t.path)
=/ yok (~(get by yokes.state) q.bem) =/ yok (~(get by yokes.state) q.bem)
?. ?=([~ %live *] yok) [~ ~] ?. ?=([~ %live *] yok) [~ ~]
?~ ski=(~(get by sky.u.yok) path) [~ ~] ?~ ski=(~(get by sky.u.yok) path) [~ ~]
?~ las=(ram:on-path fan.u.ski) [~ ~] ?~ las=(ram:on-path fan.u.ski) [~ ~]
``case/!>(ud/key.u.las) ``case/!>(ud/key.u.las)
:: ::
?: ?=(%x care) ?: &(?=(%x care) ?=([%'1' *] path))
=> .(path t.path)
?. =(p.bem our) ~ ?. =(p.bem our) ~
:: ::
?: ?=(%$ q.bem) :: app %$ reserved ?: ?=(%$ q.bem) :: app %$ reserved
@ -2430,7 +2429,9 @@
?: ?& =(%t care) ?: ?& =(%t care)
=([%$ %da now] coin) =([%$ %da now] coin)
=(our ship) =(our ship)
?=([%'1' *] path)
== ==
=> .(path t.path)
=/ yok (~(get by yokes.state) q.bem) =/ yok (~(get by yokes.state) q.bem)
?. ?=([~ %live *] yok) ~ ?. ?=([~ %live *] yok) ~
:^ ~ ~ %file-list !> ^- (list ^path) :^ ~ ~ %file-list !> ^- (list ^path)
@ -2442,7 +2443,9 @@
:: ::
?: ?& =(%z care) ?: ?& =(%z care)
=(our ship) =(our ship)
?=([%'1' *] path)
== ==
=> .(path t.path)
=/ yok (~(get by yokes.state) q.bem) =/ yok (~(get by yokes.state) q.bem)
?. ?=([~ %live *] yok) ~ ?. ?=([~ %live *] yok) ~
?~ ski=(~(get by sky.u.yok) path) ~ ?~ ski=(~(get by sky.u.yok) path) ~