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

adjust `in-vector' with ranges to cooperate with futures

Browse Source
This commit is contained in:
Matthew Flatt 2011-04-20 17:52:06 -06:00
parent aed7bdf0c9
commit 7a47974a69
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/racket/private/for.rkt
View File

@ -647,7 +647,7 @@
(define (check-ranges who start stop step len) (define (check-ranges who start stop step len)
(unless (and (exact-nonnegative-integer? start) (<= start len)) (unless (and (exact-nonnegative-integer? start) (<= start len))
(raise-type-error who (format "exact integer in [0,~a]" len) start)) (raise-type-error who (format "exact integer in [0,~a]" len) start))
(unless (and (integer? stop) (<= -1 stop) (<= stop len)) (unless (and (exact-integer? stop) (<= -1 stop) (<= stop len))
(raise-type-error who (format "exact integer in [-1,~a] or #f" len) stop)) (raise-type-error who (format "exact integer in [-1,~a] or #f" len) stop))
(unless (and (exact-integer? step) (not (zero? step))) (unless (and (exact-integer? step) (not (zero? step)))
(raise-type-error who "exact non-zero integer" step)) (raise-type-error who "exact non-zero integer" step))
@ -758,7 +758,11 @@
;; start*, stop*, and step* are guaranteed to be exact integers ;; start*, stop*, and step* are guaranteed to be exact integers
([(v* start* stop* step*) ([(v* start* stop* step*)
(normalise-inputs (quote in-vector-name) type-name (normalise-inputs (quote in-vector-name) type-name
vector? unsafe-vector-length vec-expr start stop step)]) ;; reverse-eta triggers JIT inlining of primitives,
;; which is good for futures:
(lambda (x) (vector? x))
(lambda (x) (unsafe-vector-length x))
vec-expr start stop step)])
;; Outer check is done by normalise-inputs ;; Outer check is done by normalise-inputs
#t #t
;; Loop bindings ;; Loop bindings