Re: [racket-users] Copying a namespace?

2017-01-12 Thread Alex Knauth
> On Jan 12, 2017, at 5:33 PM, Alex Knauth wrote: > > >> On Jan 12, 2017, at 7:43 AM, Matthew Flatt wrote: >> >> My thought is similar to Robby's: Does it work to add a fresh scope to >> every identifier that you bind in the debug REPL and also add

Re: [racket-users] Copying a namespace?

2017-01-12 Thread Alex Knauth
> On Jan 12, 2017, at 7:43 AM, Matthew Flatt wrote: > > My thought is similar to Robby's: Does it work to add a fresh scope to > every identifier that you bind in the debug REPL and also add that > scope to everything evaluated in the REPL? > > It seems like

Re: [racket-users] Copying a namespace?

2017-01-11 Thread Alex Knauth
> On Jan 11, 2017, at 9:10 PM, Robby Findler > wrote: > > On Wed, Jan 11, 2017 at 7:59 PM, Alex Knauth wrote: >> >>> On Jan 11, 2017, at 8:53 PM, Robby Findler >>> wrote: >>> >>> That might work. It might be

Re: [racket-users] Copying a namespace?

2017-01-11 Thread Robby Findler
On Wed, Jan 11, 2017 at 7:59 PM, Alex Knauth wrote: > >> On Jan 11, 2017, at 8:53 PM, Robby Findler >> wrote: >> >> That might work. It might be easier to just stick in some `let`s, tho. >> I'm not sure of the best way to do it (but you'll find

Re: [racket-users] Copying a namespace?

2017-01-11 Thread Alex Knauth
> On Jan 11, 2017, at 8:53 PM, Robby Findler > wrote: > > That might work. It might be easier to just stick in some `let`s, tho. > I'm not sure of the best way to do it (but you'll find it once you try > out a few), but the general approach of putting the macro

Re: [racket-users] Copying a namespace?

2017-01-11 Thread Robby Findler
Change how local variables compile at the prompt that's inside the debug repl? You should have the complete set of them, I think. Compile them into looking into a table other than the namespace. Robby On Wed, Jan 11, 2017 at 5:41 PM, Alex Knauth wrote: > Hello, > > I want