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

Init ease tracking

Browse Source
This commit is contained in:
Anton Dyudin 2015-04-29 11:57:48 -07:00
parent 858d47600f
commit 171a42cf5b
2 changed files with 16 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
main/arvo/clay.hoon
View File

@ -306,10 +306,12 @@
:: ::
++ ease :: release request ++ ease :: release request
^+ . ^+ .
~& ease/hen
?~ ref ?~ ref
=+ rov=(~(got by qyx) hen) =+ rov=(~(get by qyx) hen)
?~ rov ~&(ease-lost/(~(run by qyx) ,~) +)
=. qyx (~(del by qyx) hen) =. qyx (~(del by qyx) hen)
(mabe rov (cury best hen)) (mabe u.rov (cury best hen))
=. qyx (~(del by qyx) hen) =. qyx (~(del by qyx) hen)
|- ^+ +.$ |- ^+ +.$
=+ nux=(~(get by fod.u.ref) hen) =+ nux=(~(get by fod.u.ref) hen)

20
main/arvo/ford.hoon
View File

@ -262,14 +262,14 @@
== ==
:: ::
++ axun :: take rev update ++ axun :: take rev update
|= [tea=wire dep=@uvH sih=sign] |= [tea=wire dep=@uvH sup=spur sih=sign]
^+ +> ^+ +>
?- -.+.sih ?- -.+.sih
%writ %writ
?~ p.sih +>.$ ?~ p.sih +>.$
=+ ark=;;(arch |2.r.u.p.sih) =+ ark=;;(arch |2.r.u.p.sih)
=+ [dap=(~(got by deh.bay) dep) bem=`beam`[bek q.u.p.sih] new=p.ark] =+ [dap=(~(got by deh.bay) dep) bem=`beam`[bek sup] new=p.ark]
~& got-writ/[(tope bem) ark u.p.sih(r ~) dap] ~& got-writ/[dep (tope bem) ark u.p.sih(r ~) -.dap]
=- ?~(dop con con(deh.bay (~(put by deh.bay) dep dop))) =- ?~(dop con con(deh.bay (~(put by deh.bay) dep dop)))
^- [dop=$|(~ _dap) con=_+>.$] ^- [dop=$|(~ _dap) con=_+>.$]
?- -.dap ?- -.dap
@ -282,14 +282,17 @@
:- dap(q (~(put by q.dap) bem `new)) :- dap(q (~(put by q.dap) bem `new))
=. r.bem q.p.u.p.sih =. r.bem q.p.u.p.sih
?> ?=(%ud -.r.bem) ?> ?=(%ud -.r.bem)
~& hey/[(tope bem(p.r +(p.r.bem))) hen]
=- +>.$(mow :_(mow [hen %pass tea noe])) =- +>.$(mow :_(mow [hen %pass tea noe]))
^- noe=note ^- noe=note
[%c [%warp [our p.bem] q.bem ~ [%sing %y ud/+(p.r.bem) s.bem]]] [%c [%warp [our p.bem] q.bem ~ [%sing %y ud/+(p.r.bem) (flop s.bem)]]]
=- [[%done ~] +>.$(mow (weld - mow))] =- [[%done ~] +>.$(mow (weld - mow))]
^- (list move) ^- (list move)
%+ weld (turn (~(tap in p.dap)) |=(hen=duct [hen %give %news ~])) %+ weld (turn (~(tap in p.dap)) |=(hen=duct [hen %give %news ~]))
=. q.dap (~(del by q.dap) bem)
%+ turn (~(tap by q.dap)) :: cancel outstanding %+ turn (~(tap by q.dap)) :: cancel outstanding
|= [bem=beam @] |= [bem=beam *]
~& bye/[(tope bem) hen]
=. tea [(scot %p our) (scot %uv dep) (tope bem)] =. tea [(scot %p our) (scot %uv dep) (tope bem)]
[hen %pass tea %c %warp [our p.bem] q.bem ~] [hen %pass tea %c %warp [our p.bem] q.bem ~]
== ==
@ -315,8 +318,9 @@
mow mow
=< (welp :_(mow (turn (~(tap in p.dap)) .))) =< (welp :_(mow (turn (~(tap in p.dap)) .)))
|= bem=beam |= bem=beam
~& hi/[(tope bem) hen]
:^ hen %pass [(scot %p our) (scot %uv dep) (tope bem)] :^ hen %pass [(scot %p our) (scot %uv dep) (tope bem)]
=- [%c [%warp [our p.bem] q.bem ~ [%sing %y ud/- s.bem]]] =- [%c [%warp [our p.bem] q.bem ~ [%sing %y ud/- (flop s.bem)]]]
?. ?=(%ud -.r.bem) ?. ?=(%ud -.r.bem)
;;(@ q.q:(need (need (ska ~ %cw -.bem /)))) ;;(@ q.q:(need (need (ska ~ %cw -.bem /))))
?: =(0 p.r.bem) ?: =(0 p.r.bem)
@ -1716,8 +1720,8 @@
=^ mos bay =^ mos bay
=+ dep=(slaw %uv i.t.tea) =+ dep=(slaw %uv i.t.tea)
?^ dep ?^ dep
=+ bek=-:(need (tome t.t.tea)) =+ [bek sup]=(need (tome t.t.tea))
abet:(~(axun za [[our bek hen] [now eny ski] ~] bay) [tea u.dep q.hin]) abet:(~(axun za [[our bek hen] [now eny ski] ~] bay) tea u.dep sup q.hin)
?> ?=([@ @ @ @ ~] t.t.tea) ?> ?=([@ @ @ @ ~] t.t.tea)
=+ :* num=(slav %ud i.t.tea) =+ :* num=(slav %ud i.t.tea)
tik=(slav %ud i.t.t.tea) tik=(slav %ud i.t.t.tea)