From 2abe1fd5d2832dc7c1a0d8b465f0473476a12b1d Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Thu, 25 Jun 2009 19:01:10 +0000
Subject: [PATCH] Forgot properties

svn: r15270
---
 collects/frtime/tests/time.ss | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 collects/frtime/tests/time.ss

diff --git a/collects/frtime/tests/time.ss b/collects/frtime/tests/time.ss
new file mode 100644
index 0000000000..a780fb901c
--- /dev/null
+++ b/collects/frtime/tests/time.ss
@@ -0,0 +1,7 @@
+#lang frtime
+(require frtime/etc)
+(define x (rec y (0 . until . (add1 (inf-delay y)))))
+
+(==> (filter-e zero? (changes (modulo seconds 10)))
+     (lambda (v)
+       (printf "~S~n" (value-now x))))
\ No newline at end of file