drracket
drracket copied to clipboard
Type tooltips show up in untyped file
Using: Welcome to DrRacket, version 8.3.0.8--2021-11-19(c7a8d7f/a) [3m]
When hovering over the code, wrong type information is displayed.
Minimal example:
mouse position shown with arrow. The type-tooltip information is the same as if hovering over the last parenthesis of the struct form in the typed file.
In my working code, sometimes different letters of the same variable give different types.
The current file is in #lang racket/base and it has an inderect dependency on a typed file.