Included upstream changes until ba874ebe1422c162ef1d6dc22293c3cf85676c44 (included)

This commit is contained in:
Georges Dupéron 2018-05-31 18:51:37 +02:00
parent dda653e350
commit 779c491823

View File

@ -7,6 +7,7 @@
racket/contract/base racket/contract/base
"make.rkt" "make.rkt"
syntax/parse/private/minimatch syntax/parse/private/minimatch
syntax/apply-transformer
syntax/private/id-table syntax/private/id-table
syntax/stx syntax/stx
syntax/keyword syntax/keyword
@ -616,13 +617,8 @@
;; expand-pattern : pattern-expander Syntax -> Syntax ;; expand-pattern : pattern-expander Syntax -> Syntax
(define (expand-pattern pe stx) (define (expand-pattern pe stx)
(let* ([proc (pattern-expander-proc pe)] (let ([proc (pattern-expander-proc pe)])
[introducer (make-syntax-introducer)] (local-apply-transformer proc stx 'expression)))
[mstx (introducer (syntax-local-introduce stx))]
[mresult (parameterize ([current-syntax-parse-pattern-introducer introducer])
(proc mstx))]
[result (syntax-local-introduce (introducer mresult))])
result))
;; parse-ellipsis-head-pattern : stx DeclEnv -> (listof EllipsisHeadPattern) ;; parse-ellipsis-head-pattern : stx DeclEnv -> (listof EllipsisHeadPattern)
(define (parse-ellipsis-head-pattern stx decls) (define (parse-ellipsis-head-pattern stx decls)