Re: [racket] Problems with Typed Racket

2011-04-11 Thread Matthias Felleisen
On Apr 11, 2011, at 8:26 AM, Sam Tobin-Hochstadt wrote: > I encourage you to use Typed Racket for this, and it should certainly > be stable enough for your project. Take this advice with a grain of salt: Sam's biased. He is in charge of Typed Racket :-) ___

Re: [racket] Problems with Typed Racket

2011-04-11 Thread Sam Tobin-Hochstadt
On Mon, Apr 11, 2011 at 4:15 AM, Renzo Orsini wrote: > Hello again, > > 1) If the first case is a bug, should I file it in some bug tracker system? Yes. The best way to file bugs is to use the "Report a Bug" feature in DrRacket, available in the Help menu. > 2) The second error maybe arises fro

Re: [racket] Problems with Typed Racket

2011-04-11 Thread Renzo Orsini
Hello again, 1) If the first case is a bug, should I file it in some bug tracker system? 2) The second error maybe arises from the fact that in the documentation call-with-output-file is declared as taking either a string or a port, but for the type checker it should always take a string, not a

Re: [racket] Problems with Typed Racket

2011-04-09 Thread Robby Findler
On Sat, Apr 9, 2011 at 5:24 PM, Sam Tobin-Hochstadt wrote: > On Sat, Apr 9, 2011 at 5:50 PM, Renzo Orsini wrote: >> I was trying Typed Racket for the first time. >> >> when I do "Check Syntax" on the following function (which in a (untyped) >> Racket program works correctly) (I simplified the re

Re: [racket] Problems with Typed Racket

2011-04-09 Thread Sam Tobin-Hochstadt
On Sat, Apr 9, 2011 at 5:50 PM, Renzo Orsini wrote: > I was trying Typed Racket for the first time. > > when I do "Check Syntax" on the following function (which in a (untyped) > Racket program works correctly) (I simplified the real function): > > #lang typed/racket > > (: elaborate (String Stri