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

More precise return type for `magnitude' (it always returns nonnegative)

Browse Source 
original commit: e06f31c94e6655c1ecf88ff18a0ecbee9af2e250
This commit is contained in:
Neil Toronto 2012-12-29 14:55:25 -07:00
parent c8e5b8caee
commit 78ee359d5a
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-racket/base-env/base-env-numeric.rkt
View File

@ -1578,10 +1578,10 @@
(-FloatComplex . -> . -Flonum)
(-InexactComplex . -> . -InexactReal)
(N . -> . -Real))]
[magnitude (cl->* (-Rat . -> . -Rat)
(-FloatComplex . -> . -Flonum)
(-InexactComplex . -> . -InexactReal)
(N . -> . -Real))]
[magnitude (cl->* (-Rat . -> . -NonNegRat)
(-FloatComplex . -> . -NonNegFlonum)
(-InexactComplex . -> . -NonNegInexactReal)
(N . -> . -NonNegReal))]
[angle (cl->* (-PosReal . -> . -Zero)
(-FloatComplex . -> . -Flonum)
(-InexactComplex . -> . -InexactReal)