cs: fix case of vector-copy!

This commit is contained in:
Matthew Flatt 2018-07-30 07:34:36 -06:00
parent 810d6da3c8
commit bb4e7df1c6
2 changed files with 2 additions and 2 deletions

View File

@ -53,7 +53,7 @@
(unless (fx<= (fx+ d-start s-len) d-len) (unless (fx<= (fx+ d-start s-len) d-len)
(raise-arguments-error who (string-append "not enough room in target " what) (raise-arguments-error who (string-append "not enough room in target " what)
"target length" d-len "target length" d-len
"needed length" s-len))) "needed length" (fx+ d-start s-len))))
(define (check-range who what in-value start end len) (define (check-range who what in-value start end len)
(unless (<= start len) (unless (<= start len)

View File

@ -287,7 +287,7 @@
(case-lambda (case-lambda
[(dest d-start src) [(dest d-start src)
(vector-copy! dest d-start src 0 (and (vector? src) (vector-length src)))] (vector-copy! dest d-start src 0 (and (vector? src) (vector-length src)))]
[(src s-start dest d-start) [(dest d-start src s-start)
(vector-copy! dest d-start src s-start (and (vector? src) (vector-length src)))] (vector-copy! dest d-start src s-start (and (vector? src) (vector-length src)))]
[(dest d-start src s-start s-end) [(dest d-start src s-start s-end)
(check who mutable-vector? :contract "(and/c vector? (not/c immutable?))" dest) (check who mutable-vector? :contract "(and/c vector? (not/c immutable?))" dest)