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.

Attachment: signature.asc
Description: PGP signature

Reply via email to