From 979d057f3f71e39ad7f5ba5d7fb36739fe696fda Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 13 Aug 2018 21:45:44 +0100 Subject: [PATCH] TODO --- syndicate/drivers/timer.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/syndicate/drivers/timer.rkt b/syndicate/drivers/timer.rkt index 97152e9..82c7e75 100644 --- a/syndicate/drivers/timer.rkt +++ b/syndicate/drivers/timer.rkt @@ -82,6 +82,9 @@ (current-inexact-milliseconds)) (define timer-id (gensym 'timestate)) (on-start (send! (set-timer timer-id msecs 'absolute))) + ;; TODO: on-stop to delete irrelevant timers, so that their background-activity is + ;; removed, so that programs don't stay running uselessly while previously-set but + ;; now-unwanted timers expire unobserved. (on (message (timer-expired timer-id _)) (react (assert (later-than msecs))))))