Re: [racket] Problems with Typed Racket

sized research project. Thank you very much for all your help. Renzo On Apr 10, 2011, at 24:34 , Robby Findler wrote: > 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

[racket] Problems with Typed Racket

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 String -> Any)) (define (elaborate in-path-name out-path-name) (let