typed-racket
typed-racket copied to clipboard
repl: reloading file doesn't add new definitions
What version of Racket are you using?
8.1
What program did you run?
$ racket -I typed/racket
> ,en some-file-with-typed-racket-code.rkt
(add new definitions)
> ,en some-file-with-typed-racket-code.rkt
What should have happened?
The new definitions should have become available.
If you got an error message, please include it here.
"windowing.rkt"> a
; stdin::94: Type Checker: missing type for identifier;
; consider adding a type annotation with `:'
; identifier: a
; in: a
; [,bt for context]
Are there some extra steps that the type-checker or the language typed/racket takes when loading a file that are missing when ,entering a file in the repl?