effekt icon indicating copy to clipboard operation
effekt copied to clipboard

Unhelpful hover information for list literals

Open jiribenes opened this issue 1 year ago • 1 comments

When hovering on records, the language server usually provides useful details. Unfortunately, because list literals are immediately desugared into applications of Cons and Nil, the language server shows details about Cons or Nil on hover:

Screenshot_20220902_173454

Sometimes the displayed information is for Cons no matter to which point of the list literal one points, in other cases, the displayed information is for Nil.

The code handling for showing hover information is here: https://github.com/effekt-lang/effekt/blob/master/effekt/shared/src/main/scala/effekt/Intelligence.scala#L144-L150

jiribenes avatar Sep 02 '22 15:09 jiribenes