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

New Issue

2016-11-30T13:05:45Z

SuzanneSoy commented

2016-11-30 13:05:45 +00:00

(Migrated from github.com)

(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.

`(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`.

SuzanneSoy commented

2016-12-02 18:49:07 +00:00

(Migrated from github.com)

This issue was moved to jeapostrophe/remix#5

Sign in to join this conversation.