[racket] Problem with scribble examples written in linked language

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Wed Dec 5 16:05:51 EST 2012

At Wed, 05 Dec 2012 15:56:35 -0500, David Van Horn 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.

[Sorry for the reply that just repeated Ryan...]

I think you'll have to make a closely related language that doesn't
open a traces window, and then use that language for examples the docs.


Posted on the users mailing list.