I should have read the question better, sorry. It might be the hyperliterate #lang that plays badly with typed racket. Try annotating the (define ...) inline and see if that works. -- Linus Björnstam
On Sat, 8 Aug 2020, at 08:45, greadey wrote: > 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 > > <https://groups.google.com/d/msgid/racket-users/eea3b0a3-48f7-4196-9b58-a0dfcc6161c3n%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/c6bd37a5-9f8f-42a0-ac97-c629a5315043%40www.fastmail.com.
