effekt
effekt copied to clipboard
Unhelpful hover information for list literals
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:
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