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

Merge branch 'eyrelearning-adapter' into cc-release

Browse Source
This commit is contained in:
Anton Dyudin 2016-11-11 14:22:20 -08:00
commit c232f670be
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
arvo/eyre.hoon
View File

@ -2084,9 +2084,11 @@
=+ driv-5=_=>(*driv [cor=p req=req.q]) =+ driv-5=_=>(*driv [cor=p req=req.q])
=+ bolo-5={$5 _=+(*bolo-6 +.-(sec (~(run by sec.-) driv-5)))} =+ bolo-5={$5 _=+(*bolo-6 +.-(sec (~(run by sec.-) driv-5)))}
=+ bolo-4={$4 _%*(+ *bolo-5 lyv *(map duct ^))} =+ bolo-4={$4 _%*(+ *bolo-5 lyv *(map duct ^))}
=/ bolo _%*(. *bolo lyv **)
::|= * %. (bolo +<)
|= old/?(bolo bolo-6 bolo-5 bolo-4) |= old/?(bolo bolo-6 bolo-5 bolo-4)
?- -.old ?- -.old
$7 ..^$(+>- old) $7 ..^$(+>- old(lyv ~))
$6 $(old [%7 +.old(lyv ~, wix ~)]) $6 $(old [%7 +.old(lyv ~, wix ~)])
$5 $(old [%6 +.old(sec (~(run by sec.old) |=(driv-5 [cor & req])))]) $5 $(old [%6 +.old(sec (~(run by sec.old) |=(driv-5 [cor & req])))])
$4 $(old [%5 +.old(lyv ~)]) :: minor leak $4 $(old [%5 +.old(lyv ~)]) :: minor leak