Re: [racket] Scribbling HTDP

2012-02-27 Thread Matthew Flatt
The `make-evaluator' function just `require's the specified module into the sandbox's namespace. It doesn't set up reading or printing. The most important part of the code fragment below is ((dynamic-require 'htdp/bsl/runtime 'configure) (dynamic-require reader 'options)) which triggers the

Re: [racket] Scribbling HTDP

2012-02-27 Thread Robby Findler
Why is make-evaluator insufficient? On Mon, Feb 27, 2012 at 9:55 AM, Matthias Felleisen wrote: > > I was wrong. The code below accomplishes what you want. It sets up an > evaluator in the *sl languages, including hooks to print #t and #f properly. > > (Matthew reminded me but I had to re-run the

Re: [racket] Scribbling HTDP

2012-02-27 Thread Matthias Felleisen
I was wrong. The code below accomplishes what you want. It sets up an evaluator in the *sl languages, including hooks to print #t and #f properly. (Matthew reminded me but I had to re-run the rendering script in a clean directory to validate his reminder.) (define-syntax-rule (*sl-eval m

Re: [racket] Scribbling HTDP

2012-02-27 Thread Robby Findler
Should consider this a bug (that that the call to make-evaluator below doesn't set things up properly for this usecase)? Robby On Mon, Feb 27, 2012 at 9:27 AM, Matthias Felleisen wrote: > > I am running a short filter function on the output that changes #t to true. > -- Matthias > > > > On Feb

Re: [racket] Scribbling HTDP

2012-02-27 Thread Matthias Felleisen
I am running a short filter function on the output that changes #t to true. -- Matthias On Feb 27, 2012, at 10:23 AM, Klaus Ostermann wrote: > Hi all, > > I want to use Scribble for some lecture notes using HTDP/2e. > > The example "An Introduction to Racket with Pictures" illustrates how t

[racket] Scribbling HTDP

2012-02-27 Thread Klaus Ostermann
Hi all, I want to use Scribble for some lecture notes using HTDP/2e. The example "An Introduction to Racket with Pictures" illustrates how to use Scribble and embed Racket evaluation. However, the HTDP languages behave different in some ways - for instance, they print "#t" as "true" and variou