Version 6.0 was released 5 years ago, so while I don't recall exactly when the prefix -> syntax was introduced, it was most likely since then.
Sam On Mon, Feb 25, 2019, 1:46 PM Brian Craft <[email protected]> wrote: > 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]> 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. > -- 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.
