Re: [racket] Problem with scribble examples written in linked language

2012-12-05 Thread Sam Tobin-Hochstadt
I'd use `lazy-require` with the `redex` module to fix this. On Wed, Dec 5, 2012 at 3:56 PM, 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 la

Re: [racket] Problem with scribble examples written in linked language

2012-12-05 Thread Matthew Flatt
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. > >

Re: [racket] Problem with scribble examples written in linked language

2012-12-05 Thread David Van Horn
On 12/5/12 4:03 PM, Matthew Flatt wrote: At Wed, 05 Dec 2012 15:38:59 -0500, David Van Horn wrote: Unfortunately, my language depends on redex, and therefore racket/gui/base, which causes: raco setup: error: during Building docs for /Users/dvanhorn/Documents/git/pcf/scribblings/pcf/main.scrbl r

Re: [racket] Problem with scribble examples written in linked language

2012-12-05 Thread Matthew Flatt
At Wed, 05 Dec 2012 15:38:59 -0500, David Van Horn wrote: > Unfortunately, my language > depends on redex, and therefore racket/gui/base, which causes: > > raco setup: error: during Building docs for > /Users/dvanhorn/Documents/git/pcf/scribblings/pcf/main.scrbl > raco setup: cannot instantiat

Re: [racket] Problem with scribble examples written in linked language

2012-12-05 Thread David Van Horn
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

Re: [racket] Problem with scribble examples written in linked language

2012-12-05 Thread Ryan Culpepper
On 12/05/2012 03:38 PM, David Van Horn wrote: On 12/5/12 2:33 PM, Matthew Flatt wrote: At Wed, 05 Dec 2012 14:24:09 -0500, David Van Horn wrote: Am I doing something wrong, or is this a buggy interaction between the sandbox and raco link? The sandbox's default settings probably don't interact

Re: [racket] Problem with scribble examples written in linked language

2012-12-05 Thread David Van Horn
On 12/5/12 2:33 PM, Matthew Flatt wrote: At Wed, 05 Dec 2012 14:24:09 -0500, David Van Horn wrote: Am I doing something wrong, or is this a buggy interaction between the sandbox and raco link? The sandbox's default settings probably don't interact nicely with `raco link', and if not, we should

Re: [racket] Problem with scribble examples written in linked language

2012-12-05 Thread Matthew Flatt
At Wed, 05 Dec 2012 14:24:09 -0500, David Van Horn wrote: > I am trying to scribble some examples using a custom evaluator. if I > use the example from the documentation, things work: > > @(require racket/sandbox >scribble/eval) > @(define my-evaluator > (parameterize ([sandbox-o