Your type annotation is wrong. 

(: foo (-> Integer Integer)) is (iirc, I haven't done typed racket other than 
for fun) more like it.

-- 
  Linus Björnstam

On Fri, 7 Aug 2020, at 14:16, greadey wrote:
> 
> Hi All,
> 
> I've been trying to write typed racket code with hyper-literate.  The 
> docs seem to suggest I can just add typed racket to the #lang 
> hyper-literate;
> 
> So my trial code is;
> 
> #lang hyper-literate typed/racket
> 
> @chunk[<foo>
>         
>        (: foo : (Integer -> Integer))
>        (define (foo n)
>          (* 2 n))]
> 
> The repl "runs" this code without any complaint, however when I try;
> 
> (foo 2)
> 
> I get the following error;
> 
> Type Checker: missing type for identifier;
>  consider adding a type annotation with `:'
>   identifier: foo in: foo.
> 
> So would someone mind telling me where I am going wrong.
> 
> thanks in advance,
> 
> greadey
> 
> 
> 
> -- 
> 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 racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-users/b38730fb-f01d-4c46-8db6-d42394d2860an%40googlegroups.com
>  
> <https://groups.google.com/d/msgid/racket-users/b38730fb-f01d-4c46-8db6-d42394d2860an%40googlegroups.com?utm_medium=email&utm_source=footer>.

-- 
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 racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/b9198be7-7ad5-43b4-ab8b-e04387c102bf%40www.fastmail.com.

Reply via email to