From 7acbcbb0ccd560a57a6b2b9b541ca09e3d1a2a5e Mon Sep 17 00:00:00 2001
From: AlexKnauth <alexander@knauth.org>
Date: Thu, 27 Apr 2017 21:21:49 -0700
Subject: [PATCH] add source location

---
 turnstile/examples/stlc+union.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/turnstile/examples/stlc+union.rkt b/turnstile/examples/stlc+union.rkt
index b209778..40f1710 100644
--- a/turnstile/examples/stlc+union.rkt
+++ b/turnstile/examples/stlc+union.rkt
@@ -59,7 +59,7 @@
      #:with tys- (prune+sort #'(ty1- ... ... ty2- ...))
      (if (= 1 (stx-length #'tys-))
          (stx-car #'tys-)
-         #'(U* . tys-))]))
+         (syntax/loc stx (U* . tys-)))]))
 (define-syntax Bool
   (make-variable-like-transformer
    (add-orig #'(U False True) #'Bool)))