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

Fix type for arithmetic-shift. Closes PR 11428.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-11-22 17:33:53 -05:00
parent 7a7fe577cd
commit 58d1f75dc1
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -338,9 +338,12 @@
(-Nat -Nat . -> . (-values (list -Nat -Nat)))
(-Integer -Integer . -> . (-values (list -Integer -Integer))))]
[arithmetic-shift (cl->* (-Fixnum (Un -NegativeFixnum (-val 0)) . -> . -Fixnum)
(-Nat -Nat . -> . -Nat)
[arithmetic-shift (cl->* ((-val 0) (Un -NegativeFixnum (-val 0)) . -> . (-val 0))
(-NonnegativeFixnum (Un -NegativeFixnum (-val 0)) . -> . -NonnegativeFixnum)
(-Fixnum (Un -NegativeFixnum (-val 0)) . -> . -Fixnum)
(-Nat -Integer . -> . -Nat)
(-Integer -Integer . -> . -Integer))]
[bitwise-and (cl->* (null -NonnegativeFixnum . ->* . -NonnegativeFixnum)
((list -Integer) -NonnegativeFixnum . ->* . -NonnegativeFixnum)
(null -Fixnum . ->* . -Fixnum)