syndicate-lang
/
syndicate-rkt
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Update to latest racket-auxiliary-macro-context

This commit is contained in:
Tony Garnock-Jones 2022-12-15 11:09:40 +13:00
parent 7f84fb9d10
commit cfe2cc4af7
4 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
syndicate/event-expander.rkt
View File

@ -13,7 +13,7 @@
#:macro-definer-name define-event-expander
#:introducer-parameter-name current-event-expander-introducer
#:local-introduce-name syntax-local-event-expander-introduce
#:expander-id-predicate-name event-expander-id?
#:expander-form-predicate-name event-expander-form?
#:expander-transform-name event-expander-transform)
(provide (for-syntax
@ -21,6 +21,6 @@
event-expander?
event-expander-proc
syntax-local-event-expander-introduce
event-expander-id?
event-expander-form?
event-expander-transform)
define-event-expander)

4
syndicate/pattern-expander.rkt
View File

@ -13,7 +13,7 @@
#:macro-definer-name define-pattern-expander
#:introducer-parameter-name current-pattern-expander-introducer
#:local-introduce-name syntax-local-pattern-expander-introduce
#:expander-id-predicate-name pattern-expander-id?
#:expander-form-predicate-name pattern-expander-form?
#:expander-transform-name pattern-expander-transform)
(provide (for-syntax
@ -21,6 +21,6 @@
pattern-expander?
pattern-expander-proc
syntax-local-pattern-expander-introduce
pattern-expander-id?
pattern-expander-form?
pattern-expander-transform)
define-pattern-expander)

12
syndicate/pattern.rkt
View File

@ -122,8 +122,8 @@
(let walk ((stx stx))
(define disarmed-stx (syntax-disarm stx orig-insp))
(syntax-case disarmed-stx ($ quasiquote unquote quote)
[(expander args ...)
(pattern-expander-id? #'expander)
[expander
(pattern-expander-form? #'expander)
(pattern-expander-transform disarmed-stx
(lambda (result) (walk (syntax-rearm result stx))))]
@ -187,8 +187,8 @@
(let walk ((stx stx))
(define disarmed-stx (syntax-disarm stx orig-insp))
(syntax-case disarmed-stx ($ quasiquote unquote quote)
[(expander args ...)
(pattern-expander-id? #'expander)
[expander
(pattern-expander-form? #'expander)
(pattern-expander-transform disarmed-stx
(lambda (result) (walk (syntax-rearm result stx))))]
@ -246,8 +246,8 @@
(let walk ((stx stx))
(define disarmed-stx (syntax-disarm stx orig-insp))
(syntax-case disarmed-stx ($ quasiquote unquote quote)
[(expander args ...)
(pattern-expander-id? #'expander)
[expander
(pattern-expander-form? #'expander)
(pattern-expander-transform disarmed-stx
(lambda (result) (walk (syntax-rearm result stx))))]

2
syndicate/syntax.rkt
View File

@ -366,7 +366,7 @@
(hash-ref assertion-map handle))
(hash-remove! assertion-map handle)
expr ...)))))))]
[(_ (expander args ...) body ...) #:when (event-expander-id? #'expander)
[(_ (expander args ...) body ...) #:when (event-expander-form? #'(expander args ...))
(event-expander-transform #'(expander [args ...] body ...) (lambda (r) (syntax-rearm r stx)))]
[_
(raise-syntax-error #f "Invalid event pattern")])))