From 9bdc6a8abaf5620845b0ffe9e6e801ac368b44a9 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Sat, 12 Aug 2006 05:22:10 +0000
Subject: [PATCH] different names for lazy tests

svn: r4035
---
 collects/tests/stepper/through-tests.ss | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/collects/tests/stepper/through-tests.ss b/collects/tests/stepper/through-tests.ss
index c1f7443a28..54838b0485 100755
--- a/collects/tests/stepper/through-tests.ss
+++ b/collects/tests/stepper/through-tests.ss
@@ -1484,18 +1484,18 @@ exec mred -u "$0" "$@"
 
   ;; LAZY.SS:
 
-  (t lazy test-lazy-sequence
+  (t lazy1 test-lazy-sequence
      (+ 3 4)
      :: {(+ 3 4)} -> {7})
 
-  (t lazy test-lazy-sequence
+  (t lazy2 test-lazy-sequence
      (+ (+ 3 4) 5)
      :: (+ {(+ 3 4)} 5)
      -> (+ {7} 5)
      :: {(+ 7 5)}
      -> {12})
 
-  (t lazy test-lazy-sequence
+  (t lazy3 test-lazy-sequence
      ((lambda (x y) (* x x)) (+ 1 2) (+ 3 4))
      :: {((lambda (x y) (* x x)) (+ 1 2) (+ 3 4))}
      -> {(* (+ 1 2) (+ 1 2))}