2cd4ed948f
* Improve type-on-hover behaviour over binders
Dhall's parser does not generate `Src` annotations for the names in
binders, which means that it's not quite as straight-forward to check
whether the user meant to hover over it and see its type as one would
hope. As a result, the current "naive" implementation sometimes behaves
slightly unintuitively and returns the type of the entire expression,
rather than the type of the bound variable. E.g.
let x = 2 in "text"
~
would result in the type `Text` being displayed, rather than `Natural`
as one would expect. Since the language server also marks the expression
whose type is being displayed, the behaviour isn't quite that bad in
practice (we aren't falsely led to believe that `x` has type `Text`).
This change recovers the `Src` information describing the bound variable
names and handles those cases in a way that should be more in line with
the expectations of the user.
* Fix exprAt not handling multi-lets correctly
* Fix merge left-overs
|
||
|---|---|---|
| .. | ||
| app | ||
| src/Dhall/LSP | ||
| test | ||
| ChangeLog.md | ||
| default.nix | ||
| dhall-lsp-server.cabal | ||
| LICENSE | ||
| README.md | ||
| Setup.hs | ||
| shell.nix | ||
dhall-lsp-server
This is a Language Server Protocol server implementation for the Dhall programming language.
For installation or development instructions, see: