Yeah, you are right this was never solved:
- No hover type hints within %%private(...) · Issue #563 · rescript-lang/rescript-vscode · GitHub
- Cannot apply renaming inside `%%private` blocks. · Issue #599 · rescript-lang/rescript-vscode · GitHub
- Type hint of private binding shows entire block type instead of specific bindings · Issue #209 · rescript-lang/rescript-vscode · GitHub
Last comment in that third issue is key:
cristianoc on Apr 30, 2021
We need a better representation rather than apply reverse reconstructive surgery in the IDE.
I think that is still not improved, but nowadays as both the LSP and the compiler are developed alongside in the same repository, we might have a shot at this?
@cristianoc @zth