diff --git a/collects/tests/stepper/manual-tests.txt b/collects/tests/stepper/manual-tests.txt index 2812044143..b72d6949d7 100644 --- a/collects/tests/stepper/manual-tests.txt +++ b/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. diff --git a/collects/tests/stepper/through-tests.ss b/collects/tests/stepper/through-tests.ss index 1a02656461..6b1226b31e 100755 --- a/collects/tests/stepper/through-tests.ss +++ b/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)))