[vector] using #%plain-app in match
This commit is contained in:
parent
7e844f92b9
commit
b4ae7f5036
|
@ -290,17 +290,17 @@
|
||||||
[(identifier? stx)
|
[(identifier? stx)
|
||||||
(free-id-table-ref id+vector-length stx #f)]
|
(free-id-table-ref id+vector-length stx #f)]
|
||||||
[else
|
[else
|
||||||
(syntax-parse stx #:literals (vector make-vector build-vector)
|
(syntax-parse stx #:literals (#%plain-app vector make-vector build-vector)
|
||||||
[(~or '#(e* ...)
|
[(~or '#(e* ...)
|
||||||
#(e* ...)
|
#(e* ...)
|
||||||
;; TODO #{} #[] #6{} ...
|
;; TODO #{} #[] #6{} ...
|
||||||
(_ vector e* ...) ;; TODO the _ should be matching #%app
|
(#%plain-app vector e* ...)
|
||||||
(vector e* ...))
|
(vector e* ...))
|
||||||
(length (syntax->list #'(e* ...)))]
|
(length (syntax->list #'(e* ...)))]
|
||||||
[(~or (make-vector n e* ...)
|
[(~or (make-vector n e* ...)
|
||||||
(_ make-vector n e* ...)
|
(#%plain-app make-vector n e* ...)
|
||||||
(build-vector n e* ...)
|
(build-vector n e* ...)
|
||||||
(_ build-vector n e* ...))
|
(#%plain-app build-vector n e* ...))
|
||||||
(and (exact-nonnegative-integer? (syntax-e #'n)) (syntax-e #'n))]
|
(and (exact-nonnegative-integer? (syntax-e #'n)) (syntax-e #'n))]
|
||||||
[_
|
[_
|
||||||
#f])]))
|
#f])]))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user