From d5bd8a61e97af06aa94d1529a8b2acd786752ba3 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 1 Jan 2013 18:00:09 -0500 Subject: [PATCH] Fix tests. original commit: 678451f8c41601eaa8b82bb101c0ad2051f447b8 --- collects/tests/typed-racket/unit-tests/typecheck-tests.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt index d5c5e7eb..390b9d81 100644 --- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -210,8 +210,8 @@ (tc-e (flexpt -2.0 -0.5) -Flonum) ; NaN (tc-e (angle -1) -Real) (tc-e (angle 2.3) -Zero) - (tc-e (magnitude 3/4) -Rat) - (tc-e (magnitude 3+2i) -Real) + (tc-e (magnitude 3/4) -NonNegRat) + (tc-e (magnitude 3+2i) -NonNegReal) [tc-e/t (lambda: () 3) (t:-> -PosByte : -true-lfilter)] [tc-e/t (lambda: ([x : Number]) 3) (t:-> N -PosByte : -true-lfilter)]