<div dir="ltr">Thanks a lot! Is there any plan to make error or other partial functions in the base libraries use this feature?<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Apr 20, 2015 at 9:29 AM, Niklas Hambüchen <span dir="ltr"><<a href="mailto:mail@nh2.me" target="_blank">mail@nh2.me</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello everybody,<br>
<br>
I'm glad to announce that I performed the suggested backporting as part of<br>
my work for FP Complete!<br>
<br>
With the help of Eric (thanks for your support in #ghc!) we now have this<br>
patch for 7.10 and 7.8.<br>
<br>
As promised, here are the commits:<br>
<br>
* <a href="https://github.com/nh2/ghc/commits/ghc-7.10.1-release-srcloc-ip" target="_blank">https://github.com/nh2/ghc/commits/ghc-7.10.1-release-srcloc-ip</a><br>
* <a href="https://github.com/nh2/ghc/commits/ghc-7.8.4-release-srcloc-ip" target="_blank">https://github.com/nh2/ghc/commits/ghc-7.8.4-release-srcloc-ip</a><br>
<br>
You can see in the history that I only needed to cherry-pick "Make the<br>
location in TcLclEnv and CtLoc into a RealSrcSpan" as a dependent commit,<br>
so the changes beyond the actual feature are fairly minimal.<br>
<br>
For 7.8, I had to do a little more cleanup, see the "Use wrapIPTc instead<br>
of coercionToTcCoercion on wrapIP" commit.<br>
<br>
Regarding the commit of the feature itself, I had to do quite some merge<br>
resolution, especially due to the (lack of) the -fwarn-redundant-<br>
constraints patch <a href="https://github.com/nh2/ghc/commit/32973bf3" target="_blank">https://github.com/nh2/ghc/commit/32973bf3</a> (alias "but it<br>
was Christmas, so I did some recreational programming that went much<br>
further").<br>
However, the type checker had a strong opinion of what the right merge<br>
decision was, at least for the 7.10 backport; for 7.8 there was an<br>
ambiguity (whether to return `Nothing` or `Just` in `interactDict`), which<br>
was resolved with Eric's help.<br>
<br>
Please be invited to review the two commits.<br>
<br>
We would like to make 7.8 and 7.10 binaries with this feature available as<br>
well, and will do so after getting a review!<br>
<span class="HOEnZb"><font color="#888888"><br>
Niklas<br>
</font></span><div class="HOEnZb"><div class="h5"><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" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</div></div></blockquote></div><br></div>