drracket icon indicating copy to clipboard operation
drracket copied to clipboard

Type tooltips show up in untyped file

Open bdeket opened this issue 4 years ago • 0 comments

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: test 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.

bdeket avatar Nov 20 '21 12:11 bdeket