ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-04 20:54:21 +03:00
Code Issues Packages Projects Releases Wiki Activity

Sacrifice a %bull bug.

Browse Source
This commit is contained in:
C. Guy Yarvin 2014-02-10 21:34:24 -08:00
parent 81ec0fab60
commit dad137f068
1 changed files with 14 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
arvo/hoon.hoon
View File

@ -5402,7 +5402,7 @@
~/ %fink
|= [dep=@ud way=?(%read %rite %both %free) cog=term]
^- port
~_ (dunk 'type')
:: ~_ (dunk 'type')
~_ (show [%c 'find-limb'] ?:(=(%$ cog) '$' [%a cog]))
=+ hoq=(fino dep way cog)
?~ q.hoq
@ -5622,8 +5622,11 @@
ref
|- ^- type
?- sut
[%bull *] ~& %heal-bull
?: =(u.qog p.p.sut)
ref
(busk(sut $(sut q.sut)) p.p.sut q.p.sut)
[%core *] ref
[%bull *] (busk(sut $(sut q.sut)) p.p.sut q.p.sut)
[%face *] ?.(=(u.qog p.sut) ~|('heal-name' !!) (face p.sut ref))
[%fork *] (fork $(sut p.sut) $(sut q.sut))
[%hold *] $(sut repo)
@ -6329,7 +6332,15 @@
[p.gav (heal ~ p.i.peh q.gav)]
::
[| *]
=+ wuf=(flay (fink p.i.peh %rite q.i.peh))
=+ dob=`post`(need q:(fino p.i.peh %rite q.i.peh))
~| [%tack-limb q.i.peh]
?: ?=(%2 -.q.dob)
=+ hoc=(peg axe p.dob)
=+ guh=$(peh t.peh, sut s.p.q.dob, axe (peg hoc r.p.q.dob))
=+ zig=$(peh q.p.q.dob, sut q.q.dob, mur q.guh)
=+ zug=(heal [~ q.i.peh] p.dob (busk(sut q.zig) p.p.q.dob q.p.q.dob))
[p.guh zug]
=+ wuf=(flay (flee dob))
=+ gav=$(peh t.peh, sut q.wuf, axe (peg axe p.wuf))
[p.gav (heal [~ q.i.peh] p.wuf q.gav)]
==