From 01af9995566a674f91628255e9b766bfbff24c8b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 10 May 2009 21:53:09 +0000 Subject: [PATCH] svn: r14768 --- collects/tests/mzscheme/contract-test.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss index e161246738..d07859fa18 100644 --- a/collects/tests/mzscheme/contract-test.ss +++ b/collects/tests/mzscheme/contract-test.ss @@ -5092,6 +5092,7 @@ so that propagation occurs. (test-flat-contract '(string-len/c 3) "ab" "abc") (test-flat-contract 'natural-number/c 5 -1) (test-flat-contract 'natural-number/c #e3 #i3.0) + (test-flat-contract 'natural-number/c 0 -1) (test-flat-contract 'false/c #f #t) (test-flat-contract #t #t "x")