Describe the bug
When I edit a file with a static type error in it, the diagnostic shown in my editor is not very informative, because it doesn't show the notes of the diagnostic which include the type and whatnot. I thus just get "incompatible types", which is unhelpful. This is a regression wrt to latest stable (1.4.1), which does show the full diagnostic (see below).
To Reproduce
Input 5 : String in your editor:
Expected behavior
This is the behavior in current stable (1.4.1), and expected one:
Environment
Version of the code: 71a84b3ed9226379b24aa55cc6e1149fd8ec212d
yannham
commented
4 months ago
Describe the bug When I edit a file with a static type error in it, the diagnostic shown in my editor is not very informative, because it doesn't show the notes of the diagnostic which include the type and whatnot. I thus just get "incompatible types", which is unhelpful. This is a regression wrt to latest stable (1.4.1), which does show the full diagnostic (see below).
To Reproduce Input
5 : Stringin your editor:Expected behavior
This is the behavior in current stable (1.4.1), and expected one:
Environment