www

commit 7acbcbb0ccd560a57a6b2b9b541ca09e3d1a2a5e
parent e92156e78a5fa98d7e6cc17621a8a3bb7cdd83fd
Author: AlexKnauth <alexander@knauth.org>
Date:   Thu, 27 Apr 2017 21:21:49 -0700

add source location

Diffstat:
M
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
@@ -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)))