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

Fix unsafe multiplication.

Browse Source 
original commit: cf04739f93dd2a6e16bd022431a123c1a25865cb
This commit is contained in:
Vincent St-Amour 2011-07-13 12:52:28 -04:00
parent b1aa042289
commit 0c46eab523
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/types/numeric-predicates.rkt
View File

@ -9,7 +9,6 @@
;; we assume indexes are 2 bits shorter than fixnums
;; We're generating a reference to fixnum? rather than calling it, so
;; we're safe from fixnum size issues on different platforms.
(define (index? x)
(and (fixnum? x) (unsafe-fx>= x 0) (fixnum? (unsafe-fx* x 4))))
(define (index? x) (and (fixnum? x) (unsafe-fx>= x 0) (fixnum? (* x 4))))
(define exact-rational? (conjoin rational? exact?))