<div dir="ltr"><div>Hm, yikes, I tend to agree this is a very general error message. Here are all the places "83865" shows up in the code base:</div><div><br></div><div><a href="https://gitlab.haskell.org/search?search=83865&project_id=1&group_id=2&search_code=true&repository_ref=master">https://gitlab.haskell.org/search?search=83865&project_id=1&group_id=2&search_code=true&repository_ref=master</a></div><div><br></div><div>I opened <a href="https://gitlab.haskell.org/ghc/ghc/-/issues/23466">https://gitlab.haskell.org/ghc/ghc/-/issues/23466</a> to follow up. Feel free to weigh in. (Contact me if you need an account - spam measures currently include manual approvals for new accounts.)<br></div><div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, 2 Jun 2023 at 03:33, Viktor Dukhovni <<a href="mailto:ietf-dane@dukhovni.org">ietf-dane@dukhovni.org</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 Thu, Jun 01, 2023 at 11:58:47PM +0200, Olaf Klinke wrote:<br>
<br>
> The thing is, the error message is rather general, which was my<br>
> original complaint. I haven't got a GHC-9.6.1 installation, so what is<br>
> the error code when compiling the following minimal example?<br>
<br>
Essentially the same error text with GHC 9.2.7:<br>
<br>
    foo.hs:13:10: error:<br>
        • Couldn't match type ‘()’ with ‘forall t. t’<br>
          Expected: Void -> ()<br>
            Actual: () -> ()<br>
        • In the expression: id :: () -> ()<br>
          In an equation for ‘final’: final = (id :: () -> ())<br>
       |<br>
    13 | final = (id :: () -> ())<br>
       |          ^^^^^^^^^^^^^^<br>
<br>
and GHC 9.6.2:<br>
<br>
    foo.hs:13:10: error: [GHC-83865]<br>
        • Couldn't match type ‘()’ with ‘forall t. t’<br>
          Expected: Void -> ()<br>
            Actual: () -> ()<br>
        • In the expression: id :: () -> ()<br>
          In an equation for ‘final’: final = (id :: () -> ())<br>
       |<br>
    13 | final = (id :: () -> ())<br>
       |          ^^^^^^^^^^^^^^<br>
<br>
-- <br>
    Viktor.<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>