[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#73452: Code lens support in eglot
From: |
João Távora |
Subject: |
bug#73452: Code lens support in eglot |
Date: |
Tue, 24 Sep 2024 15:26:55 +0100 |
There is a discussion thread about this in the Eglot GitHub downstream tracker.
https://github.com/joaotavora/eglot/pull/71
The current consensus there is that the feature is not _that_ useful,
and that a clean implementation isn't really trivial since there is no
underlying Emcas support structure (like there is for documentation,
cross-referencing, diagnostics, snippets, etc)
João
On Tue, Sep 24, 2024 at 3:02 PM Federico Beffa
<federico.beffa@fbengineering.ch> wrote:
>
> Hi,
>
> This is not a bug report, but rather an inquiry or feature request. I'm
> wondering if there are any plans for eglot to support code lens.
>
> These provide quite useful functionality. For example, the Haskell language
> server allows putting expressions (typically for test or documentation) in
> comments with a special syntax. The server then offers to execute the code
> (in VSCode appearing as a small button above the expression). When pressed,
> it inserts the result in a comment just below. Here's an example after
> execution:
>
> ```haskell
> addOne :: (Num a) => a -> a
> addOne x = x + 1
>
> -- >>> addOne 2
> -- 3
> ```
>
> Thanks for the great work!
> Fede
--
João Távora
- bug#73452: Code lens support in eglot, Federico Beffa, 2024/09/24
- bug#73452: Code lens support in eglot,
João Távora <=
- bug#73452: Code lens support in eglot, Eli Zaretskii, 2024/09/24
- bug#73452: Code lens support in eglot, João Távora, 2024/09/24
- bug#73452: Code lens support in eglot, Eli Zaretskii, 2024/09/25
- bug#73452: Code lens support in eglot, João Távora, 2024/09/26
- bug#73452: Code lens support in eglot, Federico Beffa, 2024/09/26
- bug#73452: Code lens support in eglot, João Távora, 2024/09/26
- bug#73452: Code lens support in eglot, Federico Beffa, 2024/09/26
- bug#73452: Code lens support in eglot, Dmitry Gutov, 2024/09/26
- bug#73452: Code lens support in eglot, Eli Zaretskii, 2024/09/27
- bug#73452: Code lens support in eglot, Dmitry Gutov, 2024/09/26