From 3eaa43a93e1468a9f18750d0f8f97d94f84fb81d Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 5 Nov 2014 16:24:15 -0500 Subject: [PATCH] Fix expected type in test original commit: 8137163b7fb630de6b2d13c787144e562aa2a4aa --- .../tests/typed-racket/unit-tests/typecheck-tests.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt index 6a4321f0..22ae0a4c 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -414,7 +414,7 @@ (tc-e (expt (tan (real->double-flonum 6)) (lcm (*) (exact-round -1.7976931348623153e+308) 6)) - -NonNegReal) + (t:Un (-val 1) -Flonum)) (tc-e (flexpt 0.5 0.3) -NonNegFlonum) (tc-e (flexpt 0.00000000001 100000000000.0) -NonNegFlonum) (tc-e (flexpt -2.0 -0.5) -Flonum) ; NaN