jaredly / jaredly/reason-language-server
In case of error some types are reported as `string` (even known)
Open
bug
hover
- Dominant language
- OCaml
- Stars
- 649
- Forks
- 85
- PR merge metrics
- No merged PRs in 30d
Description
Example: https://cl.ly/e7a6c7420e02
Labeled argument is reported correctly (prolly b/c it's annotated), but used in the body is reported as `string`.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start with the linked example and compare the type reported for the labeled argument with the type reported when that argument is used in the body. Trace the language-server type-reporting path responsible for this discrepancy. Done means known types are no longer reported as `string` in the demonstrated error case.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- ocaml
- Domain
- devtools
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100