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.

Reply via email to