When I paste that code into a file called `foo`, it runs fine. Transcript: hardy:/tmp clements> cat foo #lang typed/racket (require typed/racket/base)
(: fn (-> String Symbol)) (define (fn str) 'foo) hardy:/tmp clements> racket foo hardy:/tmp clements> I can’t honestly guess what the problem is. Wrong version of racket? John > On Feb 25, 2019, at 10:11 AM, Brian Craft <[email protected]> wrote: > > Doing a cut & paste from the typed racket docs, I'm getting a compile error. > Input file: > > #lang typed/racket > (require typed/racket/base) > > (: fn (-> String Symbol)) > (define (fn str) 'foo) > > > 'fn' taken from this page: > > https://docs.racket-lang.org/ts-guide/more.html#%28part._when-annotations~3f%29 > > > Running with 'racket foo', gives me > Type Checker: ->: bad syntax > in: (-> String Symbol) > > > What am I doing wrong? > > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.

