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

Adding test case to clarify student's error

Browse Source
This commit is contained in:
Jay McCarthy 2010-09-16 20:57:25 -06:00
parent 01a41a812e
commit 2447d8d07c
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/tests/plai/test-harness.rkt
View File

@ -2,6 +2,7 @@
(require (prefix-in eli: tests/eli-tester)) (require (prefix-in eli: tests/eli-tester))
(define-type WAE (define-type WAE
[binop (p procedure?) (lhs WAE?) (rhs WAE?)]
[num (n number?)] [num (n number?)]
[id (s symbol?)]) [id (s symbol?)])
@ -16,6 +17,12 @@
(print-only-errors errors?) (print-only-errors errors?)
(abridged-test-output abridged?) (abridged-test-output abridged?)
(->string (test (list 'binop + (num 1) (num 2)) (binop + (num 1) (num 2))))
=>
(if abridged?
"(bad (list 'binop #<procedure:+> (num 1) (num 2)) (binop #<procedure:+> (num 1) (num 2)))\n"
"(bad (list (quote binop) + (num 1) (num 2)) (list 'binop #<procedure:+> (num 1) (num 2)) (binop #<procedure:+> (num 1) (num 2)) \"at line ??\")\n")
(->string (test (num 5) (id 'x))) (->string (test (num 5) (id 'x)))
=> =>
(if abridged? (if abridged?