This commit is contained in:
Anton Dyudin 2016-09-19 14:41:37 -07:00
parent d6bb4e234d
commit 401736877f

View File

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