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)
[(#%app Type i)
1]
[(#%plain-app Type i)
2])))
Naturally, I expect it to print:
#<syntax:/tmp/test.rkt:7:28 (#%app Type (quote 1))>
1
But it doesn't:
#<syntax:/tmp/test.rkt:7:28 (#%app Type (quote 1))>
2
--
William J. Bowman
Northeastern University
College of Computer and Information Science
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: PGP signature

