Re[2]: GHC notes plugin for Haskell language server

Yes, thank you Jan! I remember to be quite excited about your developments at last year's ZuriHac. I followed the pull request as well; I'm grateful you saw it through. This will make life better for a lot of GHC hackers (that know about the feature). Cheers, Sebastian ------ Originalnachricht ------ Von "Arnaud Spiwack" An "Jan van Brügge" Cc ghc-devs@haskell.org Datum 13.05.2024 15:10:34 Betreff Re: GHC notes plugin for Haskell language server

Thank you for the good work. I'm looking forward to using it.

On Sat, 11 May 2024 at 00:25, Jan van Brügge wrote:

...

Hi all, a few days ago, version 2.8.0.0 of HLS was released and with that the new notes plugin. With this, you can use "Go to Definition" not only on Haskell types and identifiers, but also on Note references and you editor will jump to the relevant file and the position of the full note.

Some of you might remember that I created the initial proof of concept at last year's ZuriHac/GHC contributor's Workshop.

TL;DR: Update HLS and you dont need to search for notes any more.

Cheers, Jan _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

-- Arnaud Spiwack Director, Research at https://moduscreate.com and https://tweag.io.