The `racket' language does not seem to have a type for this identifier; for stream->list
Open
Nobody has claimed this yet.
bug
- Dominant language
- Racket
- Stars
- 575
- Forks
- 106
- Avg merge
- 2h 1m
- Merged PRs (30d)
- 2
Description
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
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the stream->list identifier and the typed/racket module named in the error. Check how its type is represented and verify the reported expression in Racket v7.7. Done means the expression type-checks without the missing-type error and returns '(0 1 2).
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100