From 65e86987582a46c2d57a73852e55118c7e811dcb Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Fri, 2 Dec 2005 22:13:11 +0000 Subject: [PATCH] added some error tests for ho interm loops svn: r1501 --- collects/tests/mzscheme/intm-adv.ss | 8 ++++++++ 1 file changed, 8 insertions(+) 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")