From 3fffeeac5de0c8fc0c412110e6dc58571fb88a63 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Wed, 29 Jul 2015 13:55:49 -0400
Subject: [PATCH] Add a test for PR 14521

Started working since v6.2. Possibly due to the new macro
expander.

Closes PR 14521.
---
 typed-racket-test/succeed/pr14521.rkt | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 typed-racket-test/succeed/pr14521.rkt

diff --git a/typed-racket-test/succeed/pr14521.rkt b/typed-racket-test/succeed/pr14521.rkt
new file mode 100644
index 00000000..71481768
--- /dev/null
+++ b/typed-racket-test/succeed/pr14521.rkt
@@ -0,0 +1,7 @@
+#lang typed/racket
+
+;; Test for PR 14521, submodule with struct definition
+
+(module untyped racket
+  (provide (struct-out thing))
+  (struct thing ()))