suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Refine type for angle

Browse Source
This commit is contained in:
Eric Dobson 2014-02-22 13:07:51 -08:00
parent 22617b7800
commit 4ca07b3ac8
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
View File

@ -1649,7 +1649,7 @@
[angle (cl->* (-PosReal . -> . -Zero) [angle (cl->* (-PosReal . -> . -Zero)
(-FloatComplex . -> . -Flonum) (-FloatComplex . -> . -Flonum)
(-InexactComplex . -> . -InexactReal) (-InexactComplex . -> . -InexactReal)
(N . -> . -Real))] (N . -> . (Un -InexactReal -Zero)))]
[numerator [numerator
(from-cases (map unop all-int-types) (from-cases (map unop all-int-types)
(-PosRat . -> . -PosInt) (-PosRat . -> . -PosInt)

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -288,7 +288,7 @@
(tc-e (flexpt -2.0 -0.5) -Flonum) ; NaN (tc-e (flexpt -2.0 -0.5) -Flonum) ; NaN
(tc-e (tanh (ann 0 Nonnegative-Integer)) -NonNegReal) (tc-e (tanh (ann 0 Nonnegative-Integer)) -NonNegReal)
(tc-e (sinh (ann 0 Nonpositive-Integer)) -NonPosReal) (tc-e (sinh (ann 0 Nonpositive-Integer)) -NonPosReal)
(tc-e (angle -1) -Real) (tc-e (angle -1) (t:Un -InexactReal -Zero))
(tc-e (angle 2.3) -Zero) (tc-e (angle 2.3) -Zero)
(tc-e (magnitude 3/4) -PosRat) (tc-e (magnitude 3/4) -PosRat)
(tc-e (magnitude 3+2i) -NonNegReal) (tc-e (magnitude 3+2i) -NonNegReal)