typed-racket icon indicating copy to clipboard operation
typed-racket copied to clipboard

repl: reloading file doesn't add new definitions

Open observant2 opened this issue 4 years ago • 0 comments

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?

observant2 avatar May 27 '21 09:05 observant2