From 75d82fb969fb2acfd367dbfe4ec35cfeb35760d7 Mon Sep 17 00:00:00 2001 From: Greg Cooper Date: Tue, 12 Dec 2006 06:02:20 +0000 Subject: [PATCH] added frtime-no-mred.ss svn: r5086 --- collects/frtime/frtime-no-mred.ss | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 collects/frtime/frtime-no-mred.ss diff --git a/collects/frtime/frtime-no-mred.ss b/collects/frtime/frtime-no-mred.ss new file mode 100644 index 0000000000..9d3aa6db00 --- /dev/null +++ b/collects/frtime/frtime-no-mred.ss @@ -0,0 +1,22 @@ + (module frtime-no-mred (lib "mzscheme-utils.ss" "frtime") + (require (lib "lang-ext.ss" "frtime")) + (require (lib "ft-qq.ss" "frtime")) + (require (as-is:unchecked (lib "frp-core.ss" "frtime") + event-cons? signal-value)) + + (define (value-nowable? x) + (or (not (signal? x)) + (not (event-cons? (signal-value x))))) + + (define ((behaviorof pred) x) + (let ([v (value-now x)]) + (or (undefined? v) + (pred v)))) + + + ;(provide-for-syntax (rename (lib "mzscheme-utils.ss" "frtime") syntax->list syntax->list)) + + (provide value-nowable? behaviorof + (all-from (lib "mzscheme-utils.ss" "frtime")) + (all-from-except (lib "lang-ext.ss" "frtime") lift) + (all-from (lib "ft-qq.ss" "frtime"))))