<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" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">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" target="_blank">https://moduscreate.com</a> and <a href="https://tweag.io" rel="noopener noreferrer" target="_blank">https://tweag.io</a>.</div></div>