It is not wrong, if you type the annotation and definition and run it in a typed/racket repl it works. I can also annotate it as; (: foo : Integer -> Integer) and that works as well in typed/racket
On Friday, 7 August 2020 at 18:57:03 UTC+1 Linus Björnstam wrote: > 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 [email protected]. > > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/eea3b0a3-48f7-4196-9b58-a0dfcc6161c3n%40googlegroups.com.
