effekt-lang / effekt-lang/effekt

Unhelpful hover information for list literals

Open
#125 1 comment 0 reactions 0 assignees View on GitHub
errormessage
Dominant language
Scala
Stars
469
Forks
41
Avg merge
1d 16h
Merged PRs (30d)
23

Description

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](https://user-images.githubusercontent.com/11269173/188185142-cc1bd5be-888f-4ded-bb9c-0003bb286453.png)

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

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.