<div dir="ltr"><div>By the way, to summarize the discussion on #325, I think the words to use would be "overwhelming support for short numeric reference ids".<br></div><div><br></div><div>Here's my argument for it:<br></div><div><br></div><div>1. If you try to make the unique id some mangled form of the error's name, the cognitive burden of crafting errors is increased. Professional experience leads me to believe this is no laughing matter.</div><div><br></div><div>2. A unique id will never replace pithy error messages, clear error names, nor detailed reference documentation anyway.<br></div><div><br></div><div>3. Numeric ids are internationalized (well, at least multi-nationalized) by construction.<br></div><div><br></div><div>4. Numeric ids, having no intrinsic meaning, are perfectly forward-compatible with any potential evolution of error names or descriptions.</div><div><br></div><div><br></div><div>-Bryan<br></div><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jun 2, 2021 at 10:15 PM Jakob Brünker <<a href="mailto:jakob.bruenker@gmail.com">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>