yeah, maybe version. Has this changed since 6.0? On Monday, February 25, 2019 at 10:39:23 AM UTC-8, johnbclements wrote: > > 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] > <javascript:>> 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] <javascript:>. > > 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.
