Merge branch 'la/isaac-fix' (#4434)

* origin/la/isaac-fix:
  contact-push-hook: speed up asymptotics by only doing a fixed number of scries

Signed-off-by: Matilde Park <matilde.park@gmail.com>
This commit is contained in:
Matilde Park 2021-02-12 17:42:47 -05:00
commit 7c3f0c8f54

View File

@ -94,16 +94,18 @@
++ rolo ++ rolo
^- rolodex:store ^- rolodex:store
=/ ugroup (scry-group:grp resource) =/ ugroup (scry-group:grp resource)
=/ =rolodex:store
(scry-for:con rolodex:store /all)
%- ~(gas by *rolodex:store) %- ~(gas by *rolodex:store)
?~ ugroup ?~ ugroup
=/ c=(unit contact:store) (get-contact:con our.bowl) =/ c=(unit contact:store) (~(get by rolodex) our.bowl)
?~ c ?~ c
[our.bowl *contact:store]~ [our.bowl *contact:store]~
[our.bowl u.c]~ [our.bowl u.c]~
%+ murn ~(tap in (members:grp resource)) %+ murn ~(tap in (members:grp resource))
|= s=ship |= s=ship
^- (unit [ship contact:store]) ^- (unit [ship contact:store])
=/ c=(unit contact:store) (get-contact:con s) =/ c=(unit contact:store) (~(get by rolodex) s)
?~(c ~ `[s u.c]) ?~(c ~ `[s u.c])
-- --
:: ::