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.
