Fix expected type in test

original commit: 8137163b7fb630de6b2d13c787144e562aa2a4aa
2014-11-05 16:24:15 -05:00 · 2014-11-05 16:24:15 -05:00 · 3eaa43a93e
commit 3eaa43a93e
parent ef993d3c61
1 changed files with 1 additions and 1 deletions
--- 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