From 88c2fecdf76e0c17d30254c31c4444a308040599 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Fri, 7 Jun 2013 15:08:35 -0400
Subject: [PATCH] Improve TR test case

original commit: 75f0c88feb1586adb445e892f44a19b97bfe4293
---
 collects/tests/typed-racket/fail/pr13209.rkt | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/collects/tests/typed-racket/fail/pr13209.rkt b/collects/tests/typed-racket/fail/pr13209.rkt
index 9346a48e..78a9aee7 100644
--- a/collects/tests/typed-racket/fail/pr13209.rkt
+++ b/collects/tests/typed-racket/fail/pr13209.rkt
@@ -1,7 +1,12 @@
 #;
-(exn-pred exn:fail:syntax?)
+(exn-pred #rx"arguments for structure type constructor")
 #lang typed/racket
 
+;; Test for PR 13209
+;;
+;; The use of `node` at the end has the wrong number of
+;; type arguments. This should not raise an internal error.
+
 (struct: (α) leaf ({value : α}))
 (struct: (α) node ({left : [Tree α]} {right : [Tree α]}))