[racket] Problem with scribble examples written in linked language

From: Ryan Culpepper (ryan at cs.utah.edu)
Date: Wed Dec 5 15:44:06 EST 2012

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 nicely with
>> `raco link', and if not, we should improve that.
>>
>> Use `call-with-trusted-sandbox-configuration' while creating the
>> evaluator to avoid the problem. That's probably the right thing to do,
>> anyway.
>
>
> Thanks, that helped me make progress.  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 instantiate `racket/gui/base' a second time in the
> same process
>
> Is there a work around for this?  (I remember seeing something in docs
> about this, but now I can't track down that paragraph; I also remember
> dealing with this issue in the past but can't remember what the solution
> was.)

Require redex/reduction-semantics and redex/pict instead of redex.

Ryan


Posted on the users mailing list.