haskell / haskell/haskell-language-server

Add a handler for "Go To Declaration"

Open
#3,087 1 comment 0 reactions 0 assignees View on GitHub
type: enhancement
Dominant language
Haskell
Stars
3k
Forks
455
Avg merge
3d 21h
Merged PRs (30d)
13

Description

At the moment we mostly just use "go to definition", but LSP also has "go to declaration". I think the concept of a declaration does actually make sense in Haskell, namely:

1. For entities that have a type/kind signature, go to declaration could go to the signature (which can be in a different location)
2. For typeclass methods, go to declaration could go to the declaration in the class, and go to definition could go to the definitions in the instances
3. Anything else?

Contributor guide

No contributing guide indexed for this repository

Research direction

Begin by reading the existing “go to definition” handling and the LSP specification for “go to declaration,” then determine how Haskell signatures and typeclass methods should map to declarations. Done means the behavior is agreed for the listed cases and any additional cases, implemented, and covered by tests.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
devtools
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.