From e673527813262d9d8636ad4cb0131aa4c41c9158 Mon Sep 17 00:00:00 2001
From: AlexKnauth <alexander@knauth.org>
Date: Thu, 18 Aug 2016 13:15:29 -0400
Subject: [PATCH] add #:attributes decleration

---
 turnstile/turnstile.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/turnstile/turnstile.rkt b/turnstile/turnstile.rkt
index 13c9f4a..8091c86 100644
--- 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)