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

Refine type for angle

Browse Source 
original commit: 4ca07b3ac8cf1a9839de8330c2324fff4b0344fc
This commit is contained in:
Eric Dobson 2014-02-22 13:07:51 -08:00
parent db4175182f
commit 8b6c27cf1d
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)
(-FloatComplex . -> . -Flonum)
(-InexactComplex . -> . -InexactReal)
(N . -> . -Real))]
(N . -> . (Un -InexactReal -Zero)))]
[numerator
(from-cases (map unop all-int-types)
(-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 (tanh (ann 0 Nonnegative-Integer)) -NonNegReal)
(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 (magnitude 3/4) -PosRat)
(tc-e (magnitude 3+2i) -NonNegReal)