<html><head><style id="css_styles" type="text/css"><!--blockquote.cite { margin-left: 5px; margin-right: 0px; padding-left: 10px; padding-right:0px; border-left: 1px solid #cccccc }
blockquote.cite2 {margin-left: 5px; margin-right: 0px; padding-left: 10px; padding-right:0px; border-left: 1px solid #cccccc; margin-top: 3px; padding-top: 0px; }
a img { border: 0px; }
li[style='text-align: center;'], li[style='text-align: center; '], li[style='text-align: right;'], li[style='text-align: right; '] { list-style-position: inside;}
body { font-family: 'Segoe UI'; font-size: 12pt; }
.quote { margin-left: 1em; margin-right: 1em; border-left: 5px #ebebeb solid; padding-left: 0.3em; }
--></style></head><body><div>Yes, thank you Jan! I remember to be quite excited about your developments at last year's ZuriHac.</div><div>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).</div><div><br /></div><div>Cheers,<br />Sebastian</div>
<div style="clear:both"><br /></div>
<div><br /></div>
<div>
<div>------ Originalnachricht ------</div>
<div>Von "Arnaud Spiwack" <<a href="mailto:arnaud.spiwack@tweag.io">arnaud.spiwack@tweag.io</a>></div>
<div>An "Jan van Brügge" <<a href="mailto:jan@vanbruegge.de">jan@vanbruegge.de</a>></div>
<div>Cc <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a></div>
<div>Datum 13.05.2024 15:10:34</div>
<div>Betreff Re: GHC notes plugin for Haskell language server</div></div><div><br /></div>
<div id="x9ac7532d0457454"><blockquote cite="CAGwnsnntTj==GXyFe6ORVuWcZJ=UgMOAR7kb6zcmN-0JJ479vg@mail.gmail.com" type="cite" class="cite2">
<div dir="ltr">Thank you for the good work. I'm looking forward to using it.<br /></div><br /><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 11 May 2024 at 00:25, Jan van Brügge <<a href="mailto:jan@vanbruegge.de">jan@vanbruegge.de</a>> wrote:<br /></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div>
<span dir="ltr" style="margin-top:0px;margin-bottom:0px">Hi all,</span>
<br /><span dir="ltr" style="margin-top:0px;margin-bottom:0px">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.</span>
<br />
<br /><span dir="ltr" style="margin-top:0px;margin-bottom:0px">Some of you might remember that I created the initial proof of concept at last year's ZuriHac/GHC contributor's Workshop.</span>
<br />
<br /><span dir="ltr" style="margin-top:0px;margin-bottom:0px">TL;DR: Update HLS and you dont need to search for notes any more.</span>
<br />
<br /><span dir="ltr" style="margin-top:0px;margin-bottom:0px">Cheers,</span>
<br /><span dir="ltr" style="margin-top:0px;margin-bottom:0px">Jan</span>
<br />
</div>
_______________________________________________<br />
ghc-devs mailing list<br />
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br />
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br />
</blockquote></div><br clear="all" /><br /><span class="gmail_signature_prefix">-- </span><br /><div dir="ltr" class="gmail_signature"><div dir="ltr">Arnaud Spiwack<br />Director, Research at <a href="https://moduscreate.com" rel="noopener noreferrer">https://moduscreate.com</a> and <a href="https://tweag.io" rel="noopener noreferrer">https://tweag.io</a>.</div></div>
</blockquote></div>
</body></html>