add #:attributes decleration

2016-08-18 13:15:29 -04:00 · 2016-08-18 13:15:29 -04:00 · e673527813
commit e673527813
parent e9230e0ba3
1 changed files with 1 additions and 0 deletions
--- a/turnstile/turnstile.rkt
+++ b/turnstile/turnstile.rkt
@ -98,6 +98,7 @@
                 #'(assign-type tag-expr #:tag 'k v)))])
  (define-splicing-syntax-class ⇐-prop
    #:datum-literals (⇐ :)
+    #:attributes (τ-stx e-pat)
    [pattern (~seq ⇐ : τ-stx)
             #:with e-tmp (generate-temporary)
             #:with τ-tmp (generate-temporary)