<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Thank you for referencing the issue, I couldn't find it anymore
for some reason.<br>
<br>
While the technicality of the "errors-as-values" proposal might
delay the implementation of such a taxonomy,<br>
I think we could totally lay the groundwork and actually work on
defining it first.<br>
</p>
<div class="moz-cite-prefix">On 15/06/2020 23:28, Artem Pelenitsyn
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAPKAvQXO87iBtYD5tCwYtBryPJBiAMtCKLxySEfm48UQxyTD=Q@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="auto">As a side note, the idea of making a taxonomy of
errors with unique tagging has been brought up on ghc-proposals
recently, although marked as out-of-scope (maybe rightly so):
<div dir="auto"><a
href="https://github.com/ghc-proposals/ghc-proposals/pull/325"
moz-do-not-send="true">https://github.com/ghc-proposals/ghc-proposals/pull/325</a><br>
</div>
<div dir="auto">The ease of searching is among the major
motivations behind it.</div>
<div dir="auto"><br>
</div>
<div dir="auto">--</div>
<div dir="auto">Best, Artem</div>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Mon, Jun 15, 2020, 5:07 PM
Hécate <<a href="mailto:hecate@glitchbra.in"
moz-do-not-send="true">hecate@glitchbra.in</a>> wrote:<br>
</div>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">On
15/06/2020 19:50, Ben Gamari wrote:<br>
> Frankly, this makes me wonder whether we should change
the output<br>
> produced for loops. The current error is essentially
un-Googleable, as<br>
> we see here. I know I have personally struggled with this
same issue in<br>
> the past.<br>
<br>
I wholeheartedly agree with this suggestion. Maybe we could
even start a <br>
little taxonomy of errors by adding an error code<br>
to the message that would be more searchable? Something like
E5032?<br>
<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank"
rel="noreferrer" moz-do-not-send="true">ghc-devs@haskell.org</a><br>
<a
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs"
rel="noreferrer noreferrer" target="_blank"
moz-do-not-send="true">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
ghc-devs mailing list
<a class="moz-txt-link-abbreviated" href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a>
</pre>
</blockquote>
</body>
</html>