suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

eliminated bug introduced with latest revision

Browse Source 
please add to 6.1.1.

(cherry picked from commit 538bb75d64)

Conflicts:
	pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt
This commit is contained in:
Matthias Felleisen 2014-10-20 15:31:45 -04:00 committed by Ryan Culpepper
parent e02b6968e6
commit caefe1563c
1 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt
View File

@ -203,9 +203,13 @@
;; it, but it is possibly weird for students
(send (send test-engine get-info) add-check)
(run-and-check
(lambda (v p? _what-is-this?) (p? v))
(lambda (src format v1 v2 _) (make-satisfied-failed src format v2 property?))
;; check
(lambda (p? v _what-is-this?) (p? v))
;; maker
(lambda (src format v1 _v2 _) (make-satisfied-failed src format v1 property?))
;; test
test
;; expect
actual
#f
src