search

jeapostrophe / remix

remix - a revised version of Racket
Other
33 stars 3 forks source link

require* at the REPL can replace #%top-interaction and REPL reader #5

Open SuzanneSoy opened 7 years ago

SuzanneSoy commented 7 years ago

(require* mod) can wrap the remainder of the file in a different #%module-begin.

The behaviour should be similar at the REPL, so that (require* mod) alters the REPL so that later lines are read and evaluated by the freshly-loaded mod.

IIUC, this means require* has to replace the REPL reader (using a parameter?), and shadow the old #%top-interaction.