From bef818b2be5ca8481c8d026e838a2e20e33d0bba Mon Sep 17 00:00:00 2001
From: John Clements <clements@racket-lang.org>
Date: Sun, 24 Jan 2010 19:31:29 +0000
Subject: [PATCH] test changes, goes in release 4.2.4

svn: r17806
---
 collects/tests/stepper/automatic-tests.ss      |  4 ++--
 collects/tests/stepper/language-level-model.ss |  5 +++++
 collects/tests/stepper/test-engine.ss          |  6 ++++--
 collects/tests/stepper/through-tests.ss        | 16 +++++++++++++++-
 4 files changed, 26 insertions(+), 5 deletions(-)

diff --git a/collects/tests/stepper/automatic-tests.ss b/collects/tests/stepper/automatic-tests.ss
index 8287fadee4..cfb6039499 100644
--- a/collects/tests/stepper/automatic-tests.ss
+++ b/collects/tests/stepper/automatic-tests.ss
@@ -7,5 +7,5 @@
                [current-output-port (open-output-string)]
                [current-namespace (make-base-namespace)])
   (if (run-all-tests-except '(bad-and bad-cons check-error begin-let-bug prims qq-splice time set! local-set! lazy1 lazy2 lazy3))
-      (exit 1)
-      (exit 0)))
+      (exit 0)
+      (exit 1)))
diff --git a/collects/tests/stepper/language-level-model.ss b/collects/tests/stepper/language-level-model.ss
index f7983f888e..5a4c84ff57 100644
--- a/collects/tests/stepper/language-level-model.ss
+++ b/collects/tests/stepper/language-level-model.ss
@@ -32,6 +32,11 @@
   (make-ll-model `(lib "lazy.ss" "lazy") `() fake-mz-render-settings #f #f))
 
 
+;; unsure about the render-settings, here: 
+(define dmda-a
+  (make-ll-model `(lib "DMdA-beginner.ss" "deinprogramm") '() fake-beginner-render-settings #f #t))
+
+
 ;; SUPPORT FOR TESTING A BUNCH OF LANGUAGES AT ONCE:
 
 ;; built-in multi-language bundles:
diff --git a/collects/tests/stepper/test-engine.ss b/collects/tests/stepper/test-engine.ss
index 50734a02c3..ac77a32b55 100644
--- a/collects/tests/stepper/test-engine.ss
+++ b/collects/tests/stepper/test-engine.ss
@@ -187,8 +187,10 @@
 ;; back to us by calling the followup-thunk.
 (define (call-iter-on-each stx-thunk iter)
   (let* ([next (stx-thunk)]
-         [followup-thunk (if (eof-object? next) void (lambda () (call-iter-on-each stx-thunk iter)))])
-    (iter (expand next) followup-thunk)))
+         [followup-thunk (if (eof-object? next) void (lambda () (call-iter-on-each stx-thunk iter)))]
+         [expanded (expand next)])
+    ;;(printf "~v\n" expanded)
+    (iter expanded followup-thunk)))
 
 
 (define (warn error-box who fmt . args)
diff --git a/collects/tests/stepper/through-tests.ss b/collects/tests/stepper/through-tests.ss
index 8287a11c62..b841de6745 100755
--- a/collects/tests/stepper/through-tests.ss
+++ b/collects/tests/stepper/through-tests.ss
@@ -1131,6 +1131,21 @@
                       (9 (check-error (+ (hilite 7) (rest empty)) "bogus")))
         (before-after (9 false (check-expect (hilite (+ 3 1)) 4))
                       (9 false (check-expect (hilite 4) 4)))))
+  
+  ;;;;;;;;;;;;
+  ;;
+  ;;    DMdA TESTS
+  ;;
+  ;;;;;;;;;;;
+  
+  (t1 'dmda-certificate-bug
+       m:dmda-a
+      "(: apply-nim-move (integer? -> integer?))
+  (define apply-nim-move
+    (lambda (s)
+      (if s s s)))"
+      '())
+
 
   ;  ;;;;;;;;;;;;;
   ;  ;;
@@ -1254,7 +1269,6 @@
                       ((hilite true)))
         (finished-stepping)))
 
-
   ;;;;;;;;;;;;;
   ;;
   ;;  Set!