From f19eafcd8fda31157d17f1baf2af9497a4338b67 Mon Sep 17 00:00:00 2001
From: AlexKnauth <alexander@knauth.org>
Date: Thu, 10 Mar 2016 10:15:24 -0500
Subject: [PATCH] propagate srcloc to check-equal? form

---
 tapl/tests/rackunit-typechecking.rkt | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/tapl/tests/rackunit-typechecking.rkt b/tapl/tests/rackunit-typechecking.rkt
index 2594882..e2b8837 100644
--- a/tapl/tests/rackunit-typechecking.rkt
+++ b/tapl/tests/rackunit-typechecking.rkt
@@ -69,6 +69,7 @@
 (define-syntax (check-type-and-result stx)
   (syntax-parse stx #:datum-literals (: ⇒)
     [(_ e : τ ⇒ v)
-     #'(begin
+     #`(begin
          (check-type e : τ)
-         (check-equal? e v))]))
+         #,(syntax/loc stx
+             (check-equal? e v)))]))