From d0bf047121351bc696e247299776050f13cc26b3 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 12 Sep 2011 12:14:50 -0400 Subject: [PATCH] Add test of behavior like the "module" language in DrRacket. --- collects/tests/typed-racket/succeed/module-repl.rkt | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 collects/tests/typed-racket/succeed/module-repl.rkt 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 0000000000..74c31e06d4 --- /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)