[racket] Problem with scribble examples written in linked language

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

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 instantiate `racket/gui/base' a second time in the 
> same process
> 
> Is there a work around for this?

You'll have to use `redex/reduction-semantics' and maybe `redex/pict'
--- whatever pieces you need that don't include `redex/gui'.


Posted on the users mailing list.