The #%plain-app identifier is just a renamed version of #%app from
'#%kernel, so it’s actually named #%app when initially defined. The
racket/base version of #%app exists to handle keyword arguments, so
racket/base exports the underlying version of #%app as #%plain-app. Of
course, fully expanded pr
Consider the following program:
#lang racket
(require (for-syntax syntax/parse))
(define (Type x) x)
(begin-for-syntax
(define x (local-expand #`(Type 1) 'expression null))
(displayln x)
(displayln
(syntax-parse x
#:literals (Type #%app #%plain-app)
[(#%a
2 matches
Mail list logo