tooltip for `or` at top level gives `AnyValues`, when a more specific type is given in a function body
Open
Nobody has claimed this yet.
- Dominant language
- Racket
- Stars
- 575
- Forks
- 106
- Avg merge
- 2h 1m
- Merged PRs (30d)
- 2
Description
What version of Racket are you using?
6.90.0.16
What program did you run?
#lang typed/racket
(or #t #t)
(define (test)
(or #t #t))
What should have happened?
the first (or #t #t) should have the tooltip True, but it gets AnyValues. The second one gets True.
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
Reproduce the issue with the provided Typed Racket program and compare the top-level and function-body tooltip results for (or #t #t). Trace the type-checking or tooltip path for top-level or expressions; done means the top-level expression reports True rather than AnyValues, with coverage for this regression.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 38/100