mirror of
https://github.com/urbit/shrub.git
synced 2024-11-28 13:54:20 +03:00
behn: optimize bounded timers scry
This commit is contained in:
parent
fe87d69ad1
commit
523acf2eaf
@ -430,11 +430,14 @@
|
||||
[~ ~]
|
||||
:^ ~ ~ %noun
|
||||
!> ^- (list @da)
|
||||
%- zing
|
||||
%+ turn (tap:timer-map timers)
|
||||
|= [date=@da q=(qeu duct)]
|
||||
?: (gth date u.til) ~
|
||||
(reap ~(wyt in q) date)
|
||||
=/ tiz=(list [date=@da q=(qeu duct)])
|
||||
(tap:timer-map timers)
|
||||
|- ^- (list @da)
|
||||
?~ tiz ~
|
||||
?: (gth date.i.tiz u.til) ~
|
||||
%+ weld
|
||||
(reap ~(wyt in q.i.tiz) date.i.tiz)
|
||||
$(tiz t.tiz)
|
||||
==
|
||||
::
|
||||
++ stay state
|
||||
|
Loading…
Reference in New Issue
Block a user