Re: [racket-users] Redex: call for alpha-equivalence beta testers

I believe I've pushed a fix for this. Thanks for the report! Robby On Tue, Oct 27, 2015 at 10:10 AM, William J. Bowman wrote: > Recently after upgrading from Paul's fork, substitute stopped working > inside my reduction relation. I get the following error: > >>

Re: [racket-users] Redex: call for alpha-equivalence beta testers

Did Paul's work just get merged into the main Redex package, or did this just get pushed to the wrong place? -- William J. Bowman On Wed, Oct 28, 2015 at 10:25:37AM -0500, Robby Findler wrote: > I believe I've pushed a fix for this. Thanks for the report! > > Robby > > On Tue, Oct 27, 2015 at

[racket-users] best practice for drdr + interactive tests

I have tests that are timing out in drdr (mred-extensions.rkt) because they’re graphical tests that open a window and expect the user to inspect and close it. I don’t expect these tests to be run by drdr, but I don’t want to delete them. I can see the following choices: - Use info.rkt to

[racket-users] Copying a (preferably sandboxed) evaluator with all state

Is there a way to make a deep copy of the state of a sandbox evaluator, such that I could start up another evaluator from the same state? I'm imagining a collaborative programming environment where users could fork the state of a REPL with all it's definitions, computed values, etc and begin

Re: [racket-users] best practice for drdr + interactive tests

Changing `test` to `main` sounds best to me. At Wed, 28 Oct 2015 13:27:13 -0400, "'John Clements' via Racket Users" wrote: > I have tests that are timing out in drdr (mred-extensions.rkt) because > they’re > graphical tests that open a window and expect the user to inspect and close > it. I