From ef6d82e81f60a91d9aec5c238fd96ed0f0d8c9a7 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Thu, 1 Oct 2015 17:41:03 -0400
Subject: [PATCH] Add a test for top-level unsafe-require/typed

---
 typed-racket-test/succeed/unsafe-require-top-level.rkt | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 typed-racket-test/succeed/unsafe-require-top-level.rkt

diff --git a/typed-racket-test/succeed/unsafe-require-top-level.rkt b/typed-racket-test/succeed/unsafe-require-top-level.rkt
new file mode 100644
index 00000000..4201300d
--- /dev/null
+++ b/typed-racket-test/succeed/unsafe-require-top-level.rkt
@@ -0,0 +1,8 @@
+#lang racket/load
+
+(require typed/racket
+         typed/racket/unsafe)
+
+(unsafe-require/typed racket/base [+ String])
+
++