typed-racket
typed-racket copied to clipboard
racket
The `racket' language does not seem to have a type for this identifier; for stream->list
What version of Racket are you using?
Racket v7.7
What program did you run?
(stream->list (in-range 0 3))
What should have happened?
return '(0 1 2)
If you got an error message, please include it here.
> (stream->list (in-range 0 3))
; readline-input:14:1: Type Checker: missing type for identifier;
; The `racket' language does not seem to have a type for this identifier;
; please file a bug report identifier: stream->list
; from module: (lib typed/racket)
; in: stream->list
This stopgap won't work for a usecase I have in mind, since (stream? empty-sequence) returns #f and I'm typing something that relies on racket/stream. Just a note.
Why wouldn't sequence->list work? All streams are sequences, right? So (stream? empty-sequence) shouldn't be necessary. (sequence? empty-stream) would be necessary instead, and that's fine because it's true.
(we actually talked through this on discord. I'm just writing this here so others aren't confused)
The problem was defining a type for a function that takes a stream as an argument. Using the Sequenceof type should be sufficient as a workaround in the short-term.