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

Added types for some bitwise operations.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-06-17 12:32:42 -04:00
parent 674046f39d
commit 07c1f1e94f
2 changed files with 17 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -133,6 +133,23 @@
[quotient/remainder (cl->* (-Nat -Nat . -> . (-values (list -Nat -Nat))) [quotient/remainder (cl->* (-Nat -Nat . -> . (-values (list -Nat -Nat)))
(-Integer -Integer . -> . (-values (list -Integer -Integer))))] (-Integer -Integer . -> . (-values (list -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))]
[bitwise-bit-set? (-> -Integer -Integer B)]
[bitwise-bit-field (-> -Integer -Integer -Integer -Integer)]
[integer-length (-> -Integer -Nat)]
[abs (cl->* (-Integer . -> . -Nat)
(-Real . -> . -Real))]
;; exactness ;; exactness
[exact->inexact (cl->* [exact->inexact (cl->*
(-Real . -> . -Flonum) (-Real . -> . -Flonum)

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

@ -465,20 +465,6 @@
[match:error ((list) Univ . ->* . (Un))] [match:error ((list) Univ . ->* . (Un))]
[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 (cl->* (-Integer . -> . -Nat)
(-Real . -> . -Real))]
[file-exists? (-Pathlike . -> . B)] [file-exists? (-Pathlike . -> . B)]
[string->symbol (-String . -> . Sym)] [string->symbol (-String . -> . Sym)]
[symbol->string (Sym . -> . -String)] [symbol->string (Sym . -> . -String)]