Re: [racket] Typed racket and command line parameters

2014-06-21 Thread Manfred Lotz
On Sat, 21 Jun 2014 10:12:27 -0400 "Alexander D. Knauth" wrote: > The first thing I notice is that opt-max-size is a (Parameterof Any), > but you use string->number on it. So you should probably put a guard > on the opt-max-size parameter something like this: (: opt-max-size > (Parameterof Any Re

[racket] Type of syntax-local-phase level

2014-06-21 Thread Alexander D. Knauth
The docs say that (syntax-local-phase-level) returns an exact-integer?, but the type is (-> (U Integer False)). Are the docs right, or is the type right? Would a syntax-transformer ever be expanded as a label phase level form? Racket Users list: http://lists.rack

Re: [racket] Typed racket and command line parameters

2014-06-21 Thread Alexander D. Knauth
The first thing I notice is that opt-max-size is a (Parameterof Any), but you use string->number on it. So you should probably put a guard on the opt-max-size parameter something like this: (: opt-max-size (Parameterof Any Real)) (: opt-max-size-guard (Any -> Real)) (define (opt-max-size-guard

Re: [racket] newlines in strings not the same in DrRacket and Racket

2014-06-21 Thread Jos Koot
yes, windows 7, 64 bit on one, 32 bit on another computer. Of course the CRLF causes the problems, although Racket and DrRacket most of the time handle them correctly. Jos > -Original Message- > From: users [mailto:users-boun...@racket-lang.org] On Behalf > Of Dr. Nikolaus Klepp > Sent:

Re: [racket] newlines in strings not the same in DrRacket and Racket

2014-06-21 Thread Dr. Nikolaus Klepp
You are using Windows? Am Samstag, 21. Juni 2014 schrieb Jos Koot: > > I find the following: > > (write (string->list #< a > a > end > )) > > In DrRacket (#\a #\newline #\a) > In Racket: (#\a #return #\newline #\a #\return) > > Jos > > > > -Original Message- > > From: Robby Findler

Re: [racket] newlines in strings not the same in DrRacket and Racket

2014-06-21 Thread Jos Koot
Nonetheless many thanks for your help and attention. Jos > -Original Message- > From: Robby Findler [mailto:ro...@eecs.northwestern.edu] > Sent: sábado, 21 de junio de 2014 9:54 > To: Jos Koot > Cc: Alexander D. Knauth; users > Subject: Re: [racket] newlines in strings not the same in >

Re: [racket] newlines in strings not the same in DrRacket and Racket

2014-06-21 Thread Robby Findler
Ah, sorry. Robby On Sat, Jun 21, 2014 at 2:04 AM, Jos Koot wrote: > > I find the following: > > (write (string->list #< a > a > end > )) > > In DrRacket (#\a #\newline #\a) > In Racket: (#\a #return #\newline #\a #\return) > > Jos > > >> -Original Message- >> From: Robby Findler [mailto:

[racket] Typed racket and command line parameters

2014-06-21 Thread Manfred Lotz
Hi there, I try to change one of my programs to typed racket and fail because of errors when dealing with command line arguments. Here a minimum example: #lang typed/racket/base (require racket/cmdline) (: opt-verbose-mode (Parameterof Boolean)) (define opt-verbose-mode (make-parameter #f)) (:

Re: [racket] newlines in strings not the same in DrRacket and Racket

2014-06-21 Thread Jos Koot
I find the following: (write (string->list #< -Original Message- > From: Robby Findler [mailto:ro...@eecs.northwestern.edu] > Sent: sábado, 21 de junio de 2014 8:29 > To: Jos Koot > Cc: Alexander D. Knauth; users > Subject: Re: [racket] newlines in strings not the same in > DrRacket an