Dhall-haskell: Support go to definition

Created on 1 Dec 2019  路  4Comments  路  Source: dhall-lang/dhall-haskell

I am using the language server with vim and besides formatting, the feature of a language server I use the most is go to definition. Would be really nice to jump around in your code base

LSP enhancement

Most helpful comment

I mean that when I have something like

let utils = ../utils.dhall
in utils.doSomething "foo"

and I invoke textDocument/definition when having the cursor on utils.doSomething that it jumps into the utils file to the let binding that defines doSomething

All 4 comments

Go-to-import should be supported already.

The idea is to extend this to bindings (lets, lambas)?!

I mean that when I have something like

let utils = ../utils.dhall
in utils.doSomething "foo"

and I invoke textDocument/definition when having the cursor on utils.doSomething that it jumps into the utils file to the let binding that defines doSomething

This would be a big improvement for sure, especially for those working with large dhall models (we do, dhall is the primary configuration model for our product).

Yeah, this is in my list of things to get to. Right now the higher priority thing I'm working on is fixing https://github.com/dhall-lang/dhall-haskell/issues/1511

Was this page helpful?
0 / 5 - 0 ratings

Related issues

Michael-Kateregga picture Michael-Kateregga  路  25Comments

EggBaconAndSpam picture EggBaconAndSpam  路  21Comments

FintanH picture FintanH  路  19Comments

sjakobi picture sjakobi  路  18Comments

quasicomputational picture quasicomputational  路  19Comments