diff --git a/collects/tests/mzscheme/intm-adv.ss b/collects/tests/mzscheme/intm-adv.ss index 6b1b47af79..f7d3f3020c 100644 --- a/collects/tests/mzscheme/intm-adv.ss +++ b/collects/tests/mzscheme/intm-adv.ss @@ -100,3 +100,11 @@ (htdp-syntax-test #'(time 1 2)) (htdp-syntax-test #'(time (define x 5))) +(htdp-err/rt-test (foldr car 2 '(1 2 3)) + "foldr : first argument must be a that accepts two arguments, given #") + +(htdp-err/rt-test (foldl car 2 '(1 2 3)) + "foldl : first argument must be a that accepts two arguments, given #") + +(htdp-err/rt-test (build-string 2 add1) + "build-string : second argument must be a that produces a , given #, which produced 1 for 0")