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

jael inits

Browse Source
This commit is contained in:
Anton Dyudin 2016-12-09 16:51:00 -08:00 committed by Fang
parent 2ad320d66b
commit c74109264d
1 changed files with 8 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
sys/vane/jael.hoon
View File

@ -1640,13 +1640,11 @@
^- (pair life (map life ring)) ^- (pair life (map life ring))
:: ::
:: lyf: latest life of :: lyf: latest life of
:: lab: promises by rex
:: par: promises by rex, to rex :: par: promises by rex, to rex
:: jel: %jewel rights :: jel: %jewel rights
:: ::
=/ lyf `life`(need ~(current we (~(got by pug) rex))) =/ lyf `life`?~(rug 1 (need ~(current we rug)))
=* lab (~(got by pry) rex) =* par (~(got by shy) rex)
=* par (~(got by lab) rex)
=/ jel `rite`(need (~(expose up par) %jewel)) =/ jel `rite`(need (~(expose up par) %jewel))
?> ?=($jewel -.jel) ?> ?=($jewel -.jel)
[lyf p.jel] [lyf p.jel]
@ -1673,15 +1671,8 @@
=* pub pub:ex:loy =* pub pub:ex:loy
=* cet `cert`[[doc pub] ~] =* cet `cert`[[doc pub] ~]
=* wyl `will`[[1 cet] ~ ~] =* wyl `will`[[1 cet] ~ ~]
=* hec `farm`[[rex wyl] ~ ~]
=. +>.$ (deal rex [[ryt ~ ~] ~]) =. +>.$ (deal rex [[ryt ~ ~] ~])
::TODO modifying outer core in non-abet arm is pretty bad style here... (grow ``rex *farm wyl)
=. ..ex (meet:abet [~ ~] hec)
::
:: because the above =. changed outer core state,
:: we need to make shy and rug up-to-date again.
::
able
:: :: grow:ex:ur :: :: grow:ex:ur
++ grow :: merge wills ++ grow :: merge wills
|= $: :: vie: data source |= $: :: vie: data source
@ -1888,9 +1879,11 @@
:: pev: life and ring of parent :: pev: life and ring of parent
:: val: new signature :: val: new signature
:: ::
::TODO are we good to use new here? only num matters it seems. ?. =(rex dad)
=/ pev (leak:abet(rug (~(put by rug) num new)) dad) ~|(%unimplemented !!)
=* val (sign:as:(nol:nu:crub q.pev) *@ ash) =/ pev lean
=/ key (~(got by q.pev) p.pev)
=* val (sign:as:(nol:nu:crub key) *@ ash)
new(syg (~(put by syg.new) dad [p.pev val])) new(syg (~(put by syg.new) dad [p.pev val]))
-- -- -- --
-- --