...

svn: r16199

collects/tests/stepper/manual-tests.txt

@@ -1,6 +1,3 @@
-;; The first three lines of this file were inserted by DrScheme. They record metadata
-;; about the language level of this file in a form that our tools can easily process.
-#reader(lib "htdp-beginner-reader.ss" "lang")((modname manual-tests) (read-case-sensitive #t) (teachpacks ((lib "universe.ss" "teachpack" "2htdp") (lib "prisoners-tp.ss" "installed-teachpacks"))) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ((lib "universe.ss" "teachpack" "2htdp") (lib "prisoners-tp.ss" "installed-teachpacks")))))
 open stepper, make sure it works for (+ 3 4).
 
 make sure that stepper button appears and disappears as necessary when
@@ -13,6 +10,8 @@ warning when the program window disappears.
 Try stepping backward and forward through programs with correct and erroneous
 (syntax errors, runtime errors) executions.
 
+Test programs with syntax errors
+
 Try programs which print snips (print-convert-test.ss)
 
 try programs that contain test cases; make sure that the popups behave sensibly.

collects/tests/stepper/through-tests.ss

@@ -302,6 +302,13 @@
    -> {(cond (else 3))}
    -> {3})
 
+(t 'identical-clauses m:upto-int/lam
+   (cond [(= 1 1) true] [(= 1 1) true])
+   :: (cond [{(= 1 1)} true] [(= 1 1) true])
+   -> (cond [{true} true] [(= 1 1) true])
+   :: {(cond [true true] [(= 1 1) true])}
+   -> {true})
+
 ;;  reconstruct can't handle 'begin'
 #;
 (m:mz "(cond [#f 3 4] [#t (+ 3 4) (+ 4 9)])"
@@ -1443,6 +1450,7 @@
       #;(run-tests '(check-expect forward-ref check-within check-within-bad check-error check-error-bad))
       #;(run-tests '(teachpack-universe))
       #;(run-tests '(check-expect check-within))
-      (run-all-tests)))
+      (run-tests '(identical-clauses))
+      #;(run-all-tests)))