adapt changes to ++rove

from commit 180751aa8223cdd66648ccc4e685fde784328585
This commit is contained in:
Ted Blackman 2018-01-03 16:29:59 -08:00
parent b4278602d1
commit 6169a6311a

View File

@ -161,10 +161,6 @@
gon/(each (set path) (pair term (list tank))) :: return value
== ::
::
:: Like a ++mood, except with a cache of the state at the starting version.
::
++ moot {p/case q/case r/path s/(map path lobe)} :: stored change range
::
:: New desk data.
::
:: Sent to other ships to update them about a particular desk. Includes a map
@ -277,7 +273,7 @@
++ rove :: stored request
$% {$sing p/mood} :: single request
{$next p/mood q/(unit (each cage lobe))} :: next version
{$many p/? q/moot} :: change range
{$many p/? q/moat r/(map path lobe)} :: change range
== ::
::
:: Foreign desk data.
@ -686,9 +682,8 @@
$sing ~
$next
?~ (case-to-aeon:ze q.p.rov) ~
%- ~(rep by qyx)
|= {{a/rove *} b/(list rove)} ^+ b
=- ?.(- b [a b])
%+ skim ~(tap in ~(key by qyx))
|= a=rove ^- ?
?& ?=($next -.a)
=(p.a p.rov(q q.p.a))
?=(^ (case-to-aeon:ze q.p.a))
@ -696,9 +691,8 @@
::
$many
?~ (case-to-aeon:ze p.q.rov) ~
%- ~(rep by qyx)
|= {{a/rove *} b/(list rove)} ^+ b
=- ?.(- b [a b])
%+ skim ~(tap in ~(key by qyx))
|= a=rove ^- ?
?& ?=($many -.a)
=(a rov(p.q p.q.a))
?=(^ (case-to-aeon:ze p.q.a))
@ -818,7 +812,7 @@
=+ nab=(case-to-aeon:ze p.q.rav)
?~ nab
?> =(~ (case-to-aeon:ze q.q.rav))
(duce (rive rav))
(duce [- p q ~]:rav)
=+ huy=(case-to-aeon:ze q.q.rav)
?: &(?=(^ huy) |((lth u.huy u.nab) &(=(0 u.huy) =(0 u.nab))))
(blub hen)
@ -830,7 +824,7 @@
(blub hen)
=+ ^= ptr ^- case
[%ud +(let.dom)]
(duce `rove`[%many p.rav ptr q.q.rav r.q.rav ear])
(duce `rove`[%many p.rav [ptr q.q.rav r.q.rav] ear])
==
::
:: Print a summary of changes to dill.
@ -1644,14 +1638,9 @@
?- -.rov
$sing rov
$next [- p]:rov
$many [%many p.rov p.q.rov q.q.rov r.q.rov]
$many [- p q]:rov
==
::
++ rive
|= rav/{$many p/? q/moat}
^- rove
[%many p.rav p.q.rav q.q.rav r.q.rav ~]
::
:: Loop through open subscriptions and check if we can fill any of them.
::
++ wake :: update subscribers
@ -1705,7 +1694,8 @@
$(xiq t.xiq, ..wake (blab-all q.i.xiq mun u.u.var))
::
$many
=+ mot=`moot`q.p.i.xiq
=+ mot=`moat`q.p.i.xiq
=* sav r.p.i.xiq
=+ nab=(case-to-aeon:ze p.mot)
?~ nab
$(xiq t.xiq, xaq [i.xiq xaq])
@ -1717,7 +1707,7 @@
xaq [i.xiq(q.p mot) xaq]
..wake =+ ^= ear
(lobes-at-path:ze let.dom r.mot)
?: =(s.mot ear) ..wake
?: =(sav ear) ..wake
(bleb-all q.i.xiq let.dom ?:(p.p.i.xiq ~ `[u.nab let.dom]))
==
%= $
@ -1725,7 +1715,7 @@
..wake =- (blub-all:- q.i.xiq ~)
=+ ^= ear
(lobes-at-path:ze u.huy r.mot)
?: =(s.mot ear) (blub-all q.i.xiq ~)
?: =(sav ear) (blub-all q.i.xiq ~)
(bleb-all q.i.xiq +(u.nab) ?:(p.p.i.xiq ~ `[u.nab u.huy]))
==
==