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

Extended the type signatures of bitwise operations to be closed on naturals.

Browse Source 
original commit: 664ef2c0a3bb478634591b596f2473f249095e4f
This commit is contained in:
Vincent St-Amour 2010-05-24 17:58:58 -04:00
parent 312671d85d
commit 1bd4bf1e82
1 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -422,13 +422,19 @@
[match:error ((list) Univ . ->* . (Un))]
[arithmetic-shift (-Integer -Integer . -> . -Integer)]
[bitwise-and (null -Integer . ->* . -Integer)]
[bitwise-ior (null -Integer . ->* . -Integer)]
[bitwise-not (null -Integer . ->* . -Integer)]
[bitwise-xor (null -Integer . ->* . -Integer)]
[arithmetic-shift (cl->* (-Nat -Nat . -> . -Nat)
(-Integer -Integer . -> . -Integer))]
[bitwise-and (cl->* (null -Nat . ->* . -Nat)
(null -Integer . ->* . -Integer))]
[bitwise-ior (cl->* (null -Nat . ->* . -Nat)
(null -Integer . ->* . -Integer))]
[bitwise-not (cl->* (null -Nat . ->* . -Nat)
(null -Integer . ->* . -Integer))]
[bitwise-xor (cl->* (null -Nat . ->* . -Nat)
(null -Integer . ->* . -Integer))]
[abs (-Real . -> . -Real)]
[abs (cl->* (-Integer . -> . -Nat)
(-Real . -> . -Real))]
[file-exists? (-Pathlike . -> . B)]
[string->symbol (-String . -> . Sym)]