From 4518ad855f4d8908fff6d65b8e7fbf5d84eed0d0 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Sat, 12 Oct 2013 13:20:17 -0700
Subject: [PATCH] Make expanded syntax visible in test failures to aid
 debugging.

---
 .../unit-tests/special-env-typecheck-tests.rkt  | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/special-env-typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/special-env-typecheck-tests.rkt
index ad634f15f0..7a9adf0440 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/special-env-typecheck-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/special-env-typecheck-tests.rkt
@@ -34,13 +34,16 @@
     [(_ expr ty) (syntax/loc stx (tc-e expr #:ret (ret ty)))]
     [(id a #:ret b)
      (syntax/loc stx
-       (let ([res1 (phase1-phase0-eval
-                     (let ([ex (local-expand #'a 'expression null)])
-                       (find-mutated-vars ex mvar-env)
-                       #`'#,(tc-expr ex)))]
-             [res2 (phase1-phase0-eval #`'#,b)])
-         (check-tc-result-equal? (format "~a ~a" (quote-line-number id) 'a)
-                                 res1 res2)))]))
+       (let-values
+         ([(res1 expanded)
+           (phase1-phase0-eval
+             (let ([ex (local-expand #'a 'expression null)])
+               (find-mutated-vars ex mvar-env)
+               #`(values '#,(tc-expr ex) '#,(syntax->datum ex))))]
+          [(res2) (phase1-phase0-eval #`'#,b)])
+         (with-check-info (['expanded expanded])
+           (check-tc-result-equal? (format "~a ~a" (quote-line-number id) 'a)
+                                   res1 res2))))]))
 
 (define tests
   (test-suite