<div dir="auto">Yes! Thanks for articulating it so nicely </div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jun 3, 2021 at 2:51 PM Alan & Kim Zimmerman <<a href="mailto:alan.zimm@gmail.com">alan.zimm@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>I think in practical terms for IDE-based people, a short standardised alphanumeric identifier makes sense. These typically get displayed along with the full error text in the error pane, and it helps to be able to allocate a known, standard amount of real estate to them.  Fundamentally they are just an index into something else, you will either copy/paste it, or click on it.</div></div><div dir="ltr"><div><br></div><div>Alan<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 2 Jun 2021 at 20:16, Jakob Brünker <<a href="mailto:jakob.bruenker@gmail.com" target="_blank">jakob.bruenker@gmail.com</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 dir="ltr"><div>For what it's worth, there is an existing proposal about this topic, maybe that's the right place to discuss it for a user-focused perspective.</div><div><br></div><div>See <a href="https://github.com/ghc-proposals/ghc-proposals/pull/325" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/325</a></div><div><br></div><div>Jakob<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jun 2, 2021 at 9:10 PM Tom Ellis <<a href="mailto:tom-lists-haskell-cafe-2017@jaguarpaw.co.uk" target="_blank">tom-lists-haskell-cafe-2017@jaguarpaw.co.uk</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">On Wed, Jun 02, 2021 at 07:03:25PM +0000, Richard Eisenberg wrote:<br>
> > To me this seems like a rare opportunity to do something where people<br>
> > will say "Hey look, that formidable Haskell compiler is doing<br>
> > something that's friendlier than the equivalent in any other<br>
> > compiler!".  For such an important user-facing feature I don't<br>
> > understand why we're not asking users what they prefer.<br>
> <br>
> I agree completely here! Let's ask! (Remember that this thread,<br>
> posted to ghc-devs, was originally about documenting the GHC source<br>
> code, something that would not affect users.)<br>
<br>
Yes indeed.  Let's one of us start a user-focused thread elsewhere<br>
(whoever gets round to it first) and post a link here so interested<br>
parties here can join in.<br>
<br>
Tom<br>
_______________________________________________<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>
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>
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></div>