diff --git a/collects/tests/typed-racket/succeed/module-repl.rkt b/collects/tests/typed-racket/succeed/module-repl.rkt
new file mode 100644
index 00000000..74c31e06
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/module-repl.rkt
@@ -0,0 +1,10 @@
+#lang racket/load
+
+(module m typed/racket (define x 1))
+
+(require 'm)
+
+(current-namespace (module->namespace ''m))
+
+(eval 'x)
+(eval 5)