From 65dbdafa92edd622616950f2762372a08135688e Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Fri, 9 Sep 2011 02:30:06 -0400 Subject: [PATCH] add strictness tests for lazy --- collects/tests/lazy/lang.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/tests/lazy/lang.rkt b/collects/tests/lazy/lang.rkt index 6ff18f6856..977cf7a190 100644 --- a/collects/tests/lazy/lang.rkt +++ b/collects/tests/lazy/lang.rkt @@ -173,10 +173,12 @@ (! (cdr (append (list (/ 1 0)) '()))) => '() (! (cdr (append '() (list (/ 1 0))))) => '() (! (append (/ 1 0) '())) =error> "/: division by zero" + (! (append (/ 1 0) '() '())) =error> "/: division by zero" (! (append (/ 1 0) '(1))) =error> "/: division by zero" (! (append '() (/ 1 0))) =error> "/: division by zero" (! (car (append '(1) (/ 1 0)))) => 1 (! (cdr (append '(1) (/ 1 0)))) =error> "/: division by zero" + (! (car (append '(1) 1 (/ 1 0)))) => 1 (! (foldr (/ 1 0) 0 '())) =error> "/: division by zero" (! (foldr 1 (/ 1 0) '())) =error> "/: division by zero" (! (foldr 1 2 (/ 1 0))) =error> "/: division by zero"