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

swap vector*-ref' and vector-ref', etc.

Browse Source 
Merge to 5.0.2

original commit: 5d8e000d6d37cb9a032f4bcf4d82c63d8e51bae1
This commit is contained in:
Matthew Flatt 2010-10-25 10:51:35 -06:00
parent 9b5a5a6bb5
commit 28406c5093
3 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/optimizer/box.rkt
View File

@ -21,8 +21,8 @@
(define-syntax-class box-op
#:commit
;; we need the * versions of these unsafe operations to be chaperone-safe
(pattern (~literal unbox) #:with unsafe #'unsafe-unbox*)
(pattern (~literal set-box!) #:with unsafe #'unsafe-set-box*!))
(pattern (~literal unbox) #:with unsafe #'unsafe-unbox)
(pattern (~literal set-box!) #:with unsafe #'unsafe-set-box!))
(define-syntax-class box-opt-expr
#:commit

4
collects/typed-scheme/optimizer/sequence.rkt
View File

@ -51,8 +51,8 @@
#:with opt
(begin (log-optimization "in-vector" #'op)
#'(let* ((i v*.opt)
(len (unsafe-vector*-length i)))
(values (lambda (x) (unsafe-vector*-ref i x))
(len (unsafe-vector-length i)))
(values (lambda (x) (unsafe-vector-ref i x))
(lambda (x) (unsafe-fx+ 1 x))
0
(lambda (x) (unsafe-fx< x len))

6
collects/typed-scheme/optimizer/vector.rkt
View File

@ -14,8 +14,8 @@
(define-syntax-class vector-op
#:commit
;; we need the * versions of these unsafe operations to be chaperone-safe
(pattern (~literal vector-ref) #:with unsafe #'unsafe-vector*-ref)
(pattern (~literal vector-set!) #:with unsafe #'unsafe-vector*-set!))
(pattern (~literal vector-ref) #:with unsafe #'unsafe-vector-ref)
(pattern (~literal vector-set!) #:with unsafe #'unsafe-vector-set!))
(define-syntax-class vector-expr
#:commit
@ -43,7 +43,7 @@
(pattern (#%plain-app (~and op (~literal vector-length)) v:expr)
#:with opt
(begin (log-optimization "vector-length" #'op)
#`(unsafe-vector*-length #,((optimize) #'v))))
#`(unsafe-vector-length #,((optimize) #'v))))
;; same for flvector-length
(pattern (#%plain-app (~and op (~literal flvector-length)) v:expr)
#:with opt