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.
