test changes, goes in release 4.2.4

svn: r17806

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)))

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:

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)))])
+         [followup-thunk (if (eof-object? next) void (lambda () (call-iter-on-each stx-thunk iter)))]
-    (iter (expand next) followup-thunk)))
+         [expanded (expand next)])
+    ;;(printf "~v\n" expanded)
+    (iter expanded followup-thunk)))
 
 
 (define (warn error-box who fmt . args)

collects/tests/stepper/through-tests.ss

@@ -1132,6 +1132,21 @@
         (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)))"
+      '())
+
+
   ;  ;;;;;;;;;;;;;
   ;  ;;
   ;  ;;  TEACHPACK TESTS
@@ -1254,7 +1269,6 @@
                       ((hilite true)))
         (finished-stepping)))
 
-
   ;;;;;;;;;;;;;
   ;;
   ;;  Set!