[racket] Fw: assembly language

2012-09-26 Thread Hugh Aguilar
- Forwarded Message - From: Hugh Aguilar To: Stephen Bloch Sent: Wednesday, September 26, 2012 8:07 PM Subject: Re: [racket] assembly language You are right that a threaded Forth doesn't need to do any assembly --- it just "compiles" pointers to functions (code field addresses) in

Re: [racket] html -> pdf?

2012-09-26 Thread Niklas Larsson
2012/9/26 Jordan Schatz : > >> Dumb question: does it have to involve Racket? Googling for "html 2 pdf" and >> "html to pdf converter" turned up a lot of hits--most of them involving PHP >> and Ghostscript. > > Racket would be preferred, but not required. It looks like using wkhtmltopdf > http://c

Re: [racket] Semaphore obscurities

2012-09-26 Thread Norman Gray
Ryan, hello. On 26 Sep 2012, at 22:09, Ryan Culpepper wrote: >> The documentation says: >> >> (call-with-semaphore sema >> proc >> [ try-fail-thunk] >> arg ...)

Re: [racket] Semaphore obscurities

2012-09-26 Thread Ryan Culpepper
On 09/26/2012 04:46 PM, Norman Gray wrote: Greetings The behaviour of call-with-semaphore doesn't appear to match the documentation, or else I'm misunderstanding the documentation. Consider: (define (printit m) (printf "msg begin:~a~%" m)) (define try (let ((sema (make-semaphore 1)))

[racket] Semaphore obscurities

2012-09-26 Thread Norman Gray
Greetings The behaviour of call-with-semaphore doesn't appear to match the documentation, or else I'm misunderstanding the documentation. Consider: (define (printit m) (printf "msg begin:~a~%" m)) (define try (let ((sema (make-semaphore 1))) (λ (msg) (call-with-semaphore sema

Re: [racket] Redex: how do you interpret this typesetting error?

2012-09-26 Thread Robby Findler
On Wed, Sep 26, 2012 at 1:42 PM, Asumu Takikawa wrote: > On 2012-09-26 13:53:56 -0400, Matthias Felleisen wrote: >> The traditionally correct notation for substitutions is >> (1) e[x - v] > > Thanks, that actually works with Redex's lw-rewriter too for my argument > order. > > Robby wrote: >> You

[racket] Typesetting a .rkt file from one of the HtDP languages

2012-09-26 Thread Jordan Johnson
Hi all, This seems like a ridiculously simple question, but I am not seeing how to do it and want to check before I go too far off on the wrong direction: What's a straightforward way to typeset the code in a .rkt file from one of the HtDP languages, verbatim (though preferably omitting the th

Re: [racket] html -> pdf?

2012-09-26 Thread Hendrik Boom
On Tue, Sep 25, 2012 at 04:43:43PM -0600, Danny Yoo wrote: > On Tue, Sep 25, 2012 at 10:56 AM, Jordan Schatz wrote: > > > > Is anyone aware of a way to take arbitrary html pages and turn them into > > pdfs? > > I've had success with the wkhtmltopdf utility: > > http://code.google.com/p/wkht

Re: [racket] Strange difference between (define (for-syntax)) and (define-for-syntax)

2012-09-26 Thread Eli Barzilay
About a month ago, Danny Yoo wrote: > > In retrospect, what happened with your error appears to be the > compiler's failure to report the top/leftmost, earliest error in the > program's source. Unfortunately, I haven't figured out why yet. Because it's a `define-for-syntax', so it's syntax code

Re: [racket] Redex: how do you interpret this typesetting error?

2012-09-26 Thread Asumu Takikawa
On 2012-09-26 13:53:56 -0400, Matthias Felleisen wrote: > The traditionally correct notation for substitutions is > (1) e[x - v] Thanks, that actually works with Redex's lw-rewriter too for my argument order. Robby wrote: > You can just change the order of the args to subst, or you can only > ca

Re: [racket] Redex: how do you interpret this typesetting error?

2012-09-26 Thread Matthias Felleisen
The traditionally correct notation for substitutions is (1) e[x - v] xor (2) [v/x]e The now-common mix of e[x/v] is considered wrong. (Even if I have used it the past or have allowed students to use it.) On Sep 25, 2012, at 3:13 PM, Asumu Takikawa wrote: > Hi all, > > I'm trying to d

Re: [racket] range of the guage% control

2012-09-26 Thread Matthew Flatt
That's a documentation bug. I'll push a fix that shows all ranges as going to 100. At Wed, 26 Sep 2012 11:23:15 +0100, Tim Brown wrote: > Folks, > > I've a question about the GUI guage widget: > > The guage% takes a "range" constructor of: > range : (integer-in 1 100) > > But set-rang

Re: [racket] html -> pdf?

2012-09-26 Thread Jordan Schatz
> Dumb question: does it have to involve Racket? Googling for "html 2 pdf" and > "html to pdf converter" turned up a lot of hits--most of them involving PHP > and Ghostscript. Racket would be preferred, but not required. It looks like using wkhtmltopdf http://code.google.com/p/wkhtmltopdf/ or Cu

Re: [racket] Find nth term of a List

2012-09-26 Thread Marco Morazan
On Tue, Sep 25, 2012 at 9:08 PM, Ashley Fowler wrote: > I need to make a function that finds the nth term of a list > Hence (getNth N LS) > > Examples of use: > (getNth 0 '(a b c)) ==> a > (getNth 3 '(a b c d e)) ==> d > (getNth 3 '(a b c)) ==> error > > > so far I have >

[racket] range of the guage% control

2012-09-26 Thread Tim Brown
Folks, I've a question about the GUI guage widget: The guage% takes a "range" constructor of: range : (integer-in 1 100) But set-range/get-range is of type: range : (integer-in 1 1) and set-value/get-value are of type: value : (integer-in 0 1) So the constructor of range: 1 to