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

Better types for modulo and remainder involving fixnums.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-06-30 14:19:53 -04:00
parent 62a15df3eb
commit adf5c8c030
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -163,8 +163,8 @@
[odd? (-> -Integer B : (-FS -top (-filter (-val 0) 0)))]
[even? (-> -Integer B)]
[modulo (cl->* (-NonnegativeFixnum -NonnegativeFixnum . -> . -NonnegativeFixnum)
(-Fixnum -Fixnum . -> . -Fixnum)
[modulo (cl->* (-Nat -NonnegativeFixnum . -> . -NonnegativeFixnum)
(-Integer -Fixnum . -> . -Fixnum)
(-Nat -Nat . -> . -Nat)
(-Integer -Integer . -> . -Integer))]
@ -322,12 +322,14 @@
(-Fixnum -Fixnum . -> . -Fixnum)
(-Nat -Nat . -> . -Nat)
(-Integer -Integer . -> . -Integer))]
[remainder (cl->* (-NonnegativeFixnum -NonnegativeFixnum . -> . -NonnegativeFixnum)
(-Fixnum -Fixnum . -> . -Fixnum)
[remainder (cl->* (-Nat -NonnegativeFixnum . -> . -NonnegativeFixnum)
(-Integer -Fixnum . -> . -Fixnum)
(-Nat -Nat . -> . -Nat)
(-Integer -Integer . -> . -Integer))]
[quotient/remainder (cl->* (-NonnegativeFixnum -NonnegativeFixnum . -> . (-values (list -NonnegativeFixnum -NonnegativeFixnum)))
(-Nat -NonnegativeFixnum . -> . (-values (list -Nat -NonnegativeFixnum)))
(-Fixnum -Fixnum . -> . (-values (list -Fixnum -Fixnum)))
(-Integer -Fixnum . -> . (-values (list -Integer -Fixnum)))
(-Nat -Nat . -> . (-values (list -Nat -Nat)))
(-Integer -Integer . -> . (-values (list -Integer -Integer))))]