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

More precise type for sgn. Closes PR 11424.

Browse Source 
original commit: 2c74984fcd442fd73802244801946e2d4dd8ba8c
This commit is contained in:
Vincent St-Amour 2010-11-22 17:16:36 -05:00
parent 46cbe83ff3
commit 44e1994364
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/typed-scheme/private/base-env-numeric.rkt
View File

@ -434,7 +434,14 @@
;; scheme/math
[sgn (-Real . -> . -Real)]
[sgn (cl->* (-Zero . -> . -Zero)
(-ExactPositiveInteger . -> . -PositiveFixnum)
(-ExactNonnegativeInteger . -> . -NonnegativeFixnum)
(-ExactRational . -> . -Fixnum)
(-Flonum . -> . -Flonum)
(-InexactReal . -> . -InexactReal)
(-Real . -> . -Real))]
[pi -NonnegativeFlonum]
[sqr (cl->* (-> -Pos -Pos)
(-> -Integer -Nat)