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

Tighten types on sgn.

Browse Source
This commit is contained in:
Eric Dobson 2015-04-09 20:53:00 -07:00
parent ddd503a203
commit e91cdad6b0
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1842,10 +1842,10 @@
[sgn (cl->* (-Zero . -> . -Zero)
(-PosRat . -> . -One)
(-NonNegRat . -> . -Index) ; 0 or 1
(-NegRat . -> . -NegFixnum) ; -1
(-NonPosRat . -> . -NonPosFixnum) ; 0 or -1
(-Rat . -> . -Fixnum)
(-NonNegRat . -> . (Un -Zero -One))
(-NegRat . -> . (-val -1))
(-NonPosRat . -> .(Un (-val -1) -Zero))
(-Rat . -> . (Un (-val -1) -Zero -One))
(-Flonum . -> . -Flonum)
(-SingleFlonum . -> . -SingleFlonum)
(-Real . -> . -Real))]