From 0bff938cf7f6ceb34aa216d5c90603b29454a8ca Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 14 May 2014 00:03:07 -0400 Subject: [PATCH] Update timer driver --- minimart/drivers/timer.rkt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/minimart/drivers/timer.rkt b/minimart/drivers/timer.rkt index ea903aa..9151eca 100644 --- a/minimart/drivers/timer.rkt +++ b/minimart/drivers/timer.rkt @@ -48,12 +48,12 @@ (define (timer-subscriptions s) (define t (next-timer (driver-state-heap s))) - (append (list (sub (set-timer ? ? 'relative)) - (sub (set-timer ? ? 'absolute)) - (pub (timer-expired ? ?))) - (if t - (list (sub (event (timer-evt (pending-timer-deadline t)) ?) #:meta-level 1)) - '()))) + (gestalt-union (sub (set-timer ? ? 'relative)) + (sub (set-timer ? ? 'absolute)) + (pub (timer-expired ? ?)) + (if t + (sub (event (timer-evt (pending-timer-deadline t)) ?) #:meta-level 1) + (gestalt-empty)))) (define (spawn-timer-driver) (define s (driver-state (make-timer-heap)))