<div dir="ltr">The Windows Task Force roster is here: <a href="https://ghc.haskell.org/trac/ghc/wiki/WindowsTaskForce">https://ghc.haskell.org/trac/ghc/wiki/WindowsTaskForce</a><div><br></div><div>A couple months ago I was looking into some of the linker issues (one manifestation of which was failure to link in mingw under TH phases as in #10672), but I was sadly unable to make much headway. I'm still interested in cracking this as Windows is my primary development platform, but new leads are required.</div><div><br></div><div>Eventually, I may just seek a ground-up understanding of linkers in Windows and mingw. If anyone else has leads, please let me know if I can help.</div><div><br>Cheers,</div><div>Darren</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Aug 9, 2015 at 5:00 AM,  <span dir="ltr"><<a href="mailto:ghc-devs-request@haskell.org" target="_blank">ghc-devs-request@haskell.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Send ghc-devs mailing list submissions to<br>
        <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<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>
or, via email, send a message with subject or body 'help' to<br>
        <a href="mailto:ghc-devs-request@haskell.org">ghc-devs-request@haskell.org</a><br>
<br>
You can reach the person managing the list at<br>
        <a href="mailto:ghc-devs-owner@haskell.org">ghc-devs-owner@haskell.org</a><br>
<br>
When replying, please edit your Subject line so it is more specific<br>
than "Re: Contents of ghc-devs digest..."<br>
<br>
<br>
Today's Topics:<br>
<br>
   1. Linking issue on Windows: #10672 (Richard Eisenberg)<br>
   2. Re: Linking issue on Windows: #10672 (John Wiegley)<br>
   3. Type checker error messages question (Jack Bowman)<br>
<br>
<br>
----------------------------------------------------------------------<br>
<br>
Message: 1<br>
Date: Sat, 8 Aug 2015 14:23:31 -0400<br>
From: Richard Eisenberg <<a href="mailto:eir@cis.upenn.edu">eir@cis.upenn.edu</a>><br>
To: ghc-devs Devs <<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>><br>
Subject: Linking issue on Windows: #10672<br>
Message-ID: <<a href="mailto:8839B562-9A83-4137-A0D6-5DC15137C9C6@cis.upenn.edu">8839B562-9A83-4137-A0D6-5DC15137C9C6@cis.upenn.edu</a>><br>
Content-Type: text/plain; charset=us-ascii<br>
<br>
Hi devs,<br>
<br>
Bug #10672 was posted two weeks ago and has not received any response. It concerns linking issues on Windows with Template Haskell. This is very far out of my depth, but I don't recognize the name of the poster (lukexi), and so it would be great to let that person know we've received the report and have at least triaged it. Who are the Windows task force? I can't seem to find that listed on <a href="https://ghc.haskell.org/trac/ghc/wiki/TeamGHC" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/wiki/TeamGHC</a>, but perhaps there's a better place to look.<br>
<br>
If you have any idea of what's going on, would you mind at least commenting on the bug?<br>
<br>
Thanks!<br>
Richard<br>
Template Haskell czar but linking buffoon and Windows ignoramus<br>
<br>
------------------------------<br>
<br>
Message: 2<br>
Date: Sat, 08 Aug 2015 12:35:25 -0700<br>
From: "John Wiegley" <<a href="mailto:johnw@newartisans.com">johnw@newartisans.com</a>><br>
To: Richard Eisenberg <<a href="mailto:eir@cis.upenn.edu">eir@cis.upenn.edu</a>><br>
Cc: ghc-devs Devs <<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>><br>
Subject: Re: Linking issue on Windows: #10672<br>
Message-ID: <<a href="mailto:m2d1yxshdu.fsf@newartisans.com">m2d1yxshdu.fsf@newartisans.com</a>><br>
Content-Type: text/plain<br>
<br>
>>>>> Richard Eisenberg <<a href="mailto:eir@cis.upenn.edu">eir@cis.upenn.edu</a>> writes:<br>
<br>
> If you have any idea of what's going on, would you mind at least commenting<br>
> on the bug?<br>
<br>
I would also like to know who knows what about which linking platforms we<br>
support.<br>
<br>
John<br>
<br>
<br>
------------------------------<br>
<br>
Message: 3<br>
Date: Sat, 8 Aug 2015 22:56:00 -0400<br>
From: Jack Bowman <<a href="mailto:johnrbowman@gmail.com">johnrbowman@gmail.com</a>><br>
To: <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
Subject: Type checker error messages question<br>
Message-ID:<br>
        <<a href="mailto:CACcVNgUgbw9WLocN7dFM5Wewh8WbG4d81MwNmZQhcSedoSJEVQ@mail.gmail.com">CACcVNgUgbw9WLocN7dFM5Wewh8WbG4d81MwNmZQhcSedoSJEVQ@mail.gmail.com</a>><br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
Hi all,<br>
I'm new to the GHC codebase and am looking to contribute. I started trying<br>
to implement <a href="https://ghc.haskell.org/trac/ghc/ticket/9173" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/9173</a> , "better type<br>
error messages". I'm having some difficulty and was hoping someone more<br>
experienced could point me in the right direction.<br>
Part of the proposed change is that the "inferred:" line lists both the<br>
expression ("Just 5") and its type ("Maybe a0"). That's good because it's<br>
more clear that way. Currently those are in different parts of the error<br>
message. The function misMatchMsg (TcErrors.hs) creates the text "couldn't<br>
match expected type...". The text "In the second argument of..." is created<br>
by funAppCtxt (TcExpr.hs) during type checking. Bringing these together<br>
seems tricky. When we're generating a message like "couldn't match expected<br>
type..." I don't see how to access the expression text, like the "LHsExpr<br>
Name"s available to funAppCtxt. Is there an easy way to get that? We have<br>
the constraint and the two types, but I don't think those include this info.<br>
It seems fundamental to the error messages that the context ("in the _<br>
argument..., in the expression ...") is built up as *text* while we do type<br>
checking, which means it's hard to customize when building the final error<br>
message.<br>
Please let me know if I'm missing something. There's a lot of type checker<br>
state that I might be misunderstanding.<br>
Thanks,Jack<br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="http://mail.haskell.org/pipermail/ghc-devs/attachments/20150808/500a1dcd/attachment-0001.html" rel="noreferrer" target="_blank">http://mail.haskell.org/pipermail/ghc-devs/attachments/20150808/500a1dcd/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Subject: Digest Footer<br>
<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">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>
<br>
<br>
------------------------------<br>
<br>
End of ghc-devs Digest, Vol 144, Issue 13<br>
*****************************************<br>
</blockquote></div><br></div>