From 523acf2eafb1c904419fa2f49ff04cd33c728fcf Mon Sep 17 00:00:00 2001 From: Fang Date: Thu, 25 Jun 2020 19:25:44 +0200 Subject: [PATCH] behn: optimize bounded timers scry --- pkg/arvo/sys/vane/behn.hoon | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/pkg/arvo/sys/vane/behn.hoon b/pkg/arvo/sys/vane/behn.hoon index d5aaec0f9..34b8f7a8f 100644 --- a/pkg/arvo/sys/vane/behn.hoon +++ b/pkg/arvo/sys/vane/behn.hoon @@ -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