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

Improved closure properties of bitwise-and.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-07-19 16:09:01 -04:00
parent c4ae44123f
commit 234e8c363c
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -338,7 +338,9 @@
(-Nat -Nat . -> . -Nat) (-Nat -Nat . -> . -Nat)
(-Integer -Integer . -> . -Integer))] (-Integer -Integer . -> . -Integer))]
[bitwise-and (cl->* (null -NonnegativeFixnum . ->* . -NonnegativeFixnum) [bitwise-and (cl->* (null -NonnegativeFixnum . ->* . -NonnegativeFixnum)
((list -Integer) -NonnegativeFixnum . ->* . -NonnegativeFixnum)
(null -Fixnum . ->* . -Fixnum) (null -Fixnum . ->* . -Fixnum)
((list -Integer) -Fixnum . ->* . -Fixnum)
(null -Nat . ->* . -Nat) (null -Nat . ->* . -Nat)
(null -Integer . ->* . -Integer))] (null -Integer . ->* . -Integer))]
[bitwise-ior (cl->* (null -NonnegativeFixnum . ->* . -NonnegativeFixnum) [bitwise-ior (cl->* (null -NonnegativeFixnum . ->* . -NonnegativeFixnum)