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

Reply via email to