<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>