PasteRack.org
Paste # 32894
2017-04-25 07:28:53

Fork as a new paste.

Paste viewed 106 times.


Embed:

  1. #lang racket/base
  2. (require (for-syntax racket/base))
  3. (define-syntax (m stx)
  4.   (syntax-case stx ()
  5.     [(_ id1 id2)
  6.      (and (identifier? #'id1) (identifier? #'id2))
  7.      (syntax-property
  8.       (syntax-property
  9.        #'1
  10.        'disappeared-use (list (syntax-local-introduce #'id1)))
  11.       'disappeared-binding (list (syntax-local-introduce #'id2)))]))
  12.  
  13. (m a b)

=>

1