Add a test for top-level unsafe-require/typed

2015-10-01 17:41:03 -04:00 · 2015-10-01 17:41:03 -04:00 · ef6d82e81f
commit ef6d82e81f
parent 913ef6a2ef
1 changed files with 8 additions and 0 deletions
--- a/typed-racket-test/succeed/unsafe-require-top-level.rkt
+++ 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])
+
+