Don't let the stepper snoop inside `for-all'.

svn: r16076
2009-09-19 18:01:30 +00:00 · 2009-09-19 18:01:30 +00:00 · 3ce1ce4c73
commit 3ce1ce4c73
parent 65119301e6
1 changed files with 5 additions and 2 deletions
--- a/collects/deinprogramm/DMdA.ss
+++ b/collects/deinprogramm/DMdA.ss
@ -985,8 +985,11 @@
 			      (raise-syntax-error #f "inkorrekte `for-all'-Klausel - sollte die Form (id contr) haben"
 						  pr))))
 			 (syntax->list #'(?clause ...)))))
-       #'(quickcheck:property 
-	  ((?id ?arb) ...) ?body)))
+
+       (stepper-syntax-property #'(quickcheck:property 
+				   ((?id ?arb) ...) ?body)
+				'stepper-skip-completely
+				#t)))
    ((_ ?something ?body)
     (raise-syntax-error #f "keine Klauseln der Form (id contr)"
 			 stx))