From fe494c6ad3dc89c1916add8514fa15f76bb0f89a Mon Sep 17 00:00:00 2001 From: AlexKnauth Date: Thu, 10 Mar 2016 10:26:50 -0500 Subject: [PATCH] fix another srcloc --- tapl/tests/rackunit-typechecking.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tapl/tests/rackunit-typechecking.rkt b/tapl/tests/rackunit-typechecking.rkt index e2b8837..a0b1261 100644 --- a/tapl/tests/rackunit-typechecking.rkt +++ b/tapl/tests/rackunit-typechecking.rkt @@ -18,7 +18,9 @@ (define-syntax (check-type stx) (syntax-parse stx #:datum-literals (: ⇒ ->) - [(_ e : τ (~or ⇒ ->) v) #'(check-type-and-result e : τ ⇒ v)] + [(_ e : τ (~or ⇒ ->) v) + (syntax/loc stx + (check-type-and-result e : τ ⇒ v))] [(_ e : τ-expected) #:with τ (typeof (expand/df #'e)) #:fail-unless