I'd use `lazy-require` with the `redex` module to fix this.
On Wed, Dec 5, 2012 at 3:56 PM, David Van Horn <dvanh...@ccs.neu.edu> wrote: > On 12/5/12 3:44 PM, Ryan Culpepper wrote: >> >> Require redex/reduction-semantics and redex/pict instead of redex. > > > But the langauge actually needs redex -- running a module launches traces > windows if you write #lang pcf traces. > > So doing this fixes the docs but breaks the language. > > David > > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users ____________________ Racket Users list: http://lists.racket-lang.org/users