Add test of behavior like the "module" language in DrRacket.
This commit is contained in:
parent
f9b0f0ce73
commit
d0bf047121
10
collects/tests/typed-racket/succeed/module-repl.rkt
Normal file
10
collects/tests/typed-racket/succeed/module-repl.rkt
Normal file
|
@ -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)
|
Loading…
Reference in New Issue
Block a user