0. #lang racket
1.  
2. (require syntax/parse/define)
3.  
4. (define-syntax-parser a
5.   #:datum-literals (x y)
6.   [(_ (~or x y) ...)
7.       (displayln (attribute x))
8.       #'(void)])

=>

eval:2:0: attribute: not bound as a pattern variable

at: x

in: (attribute x)