From 1d695693828641495d5956d5040e5cbdf1a63c50 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 30 Nov 2015 07:56:08 -0600 Subject: [PATCH] Fix tests. --- typed-racket-test/unit-tests/typecheck-tests.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt index 3c9c3d1c..7b659cb0 100644 --- a/typed-racket-test/unit-tests/typecheck-tests.rkt +++ b/typed-racket-test/unit-tests/typecheck-tests.rkt @@ -416,8 +416,8 @@ (tc-e (expt 0.5 2) (t:Un -NonNegFlonum -One)) (tc-e (expt 0.5 0) -One) (tc-e (expt -1/2 -1/2) -Number) - (tc-e (expt (ann 0.5 Float) (ann 2 Integer)) -Real) - (tc-e (expt (ann 0.5f0 Single-Flonum) (ann 2 Integer)) -Real) + (tc-e (expt (ann 0.5 Float) (ann 2 Natural)) -Real) + (tc-e (expt (ann 0.5f0 Single-Flonum) (ann 2 Natural)) -Real) (tc-e (expt (*) -0.0) (t:Un -NonNegFlonum -One)) (tc-e (expt (*) 2.4521075152139656e-300) (t:Un -NonNegFlonum -One)) (tc-e (expt (*) -0.0) (t:Un -NonNegFlonum -One)) @@ -459,7 +459,7 @@ (tc-e (bitwise-and (exact-round 1.7976931348623157e+308) (exact-round -29)) -Int) (tc-e (flexpt -0.0 -1.0) -Flonum) (tc-e (expt -0.0f0 -3.0) (t:Un -InexactReal -InexactComplex)) - (tc-e (expt -8.665778974912815f+107 -677460115195106837726964554590085563061636191189747) -Real) + (tc-e (expt -8.665778974912815f+107 -677460115195106837726964554590085563061636191189747) -Number) (tc-e (expt (sin +inf.f) +nan.0+nan.0i) -Number) (tc-e (/ (gcd 1 0) -0.0f0 2.718281828459045) -Real) (tc-e (expt (make-polar (floor 6.468476f+31) (tanh +nan.f)) +nan.0) -Number)