Backporting srcLoc to the GHC 7.10 branch

Greg Weber greg at gregweber.info
Mon Apr 20 17:07:34 UTC 2015


Thanks a lot! Is there any plan to make error or other partial functions in
the base libraries use this feature?

On Mon, Apr 20, 2015 at 9:29 AM, Niklas Hambüchen <mail at nh2.me> wrote:

> Hello everybody,
>
> I'm glad to announce that I performed the suggested backporting as part of
> my work for FP Complete!
>
> With the help of Eric (thanks for your support in #ghc!) we now have this
> patch for 7.10 and 7.8.
>
> As promised, here are the commits:
>
> * https://github.com/nh2/ghc/commits/ghc-7.10.1-release-srcloc-ip
> * https://github.com/nh2/ghc/commits/ghc-7.8.4-release-srcloc-ip
>
> You can see in the history that I only needed to cherry-pick "Make the
> location in TcLclEnv and CtLoc into a RealSrcSpan" as a dependent commit,
> so the changes beyond the actual feature are fairly minimal.
>
> For 7.8, I had to do a little more cleanup, see the "Use wrapIPTc instead
> of coercionToTcCoercion on wrapIP" commit.
>
> Regarding the commit of the feature itself, I had to do quite some merge
> resolution, especially due to the (lack of) the -fwarn-redundant-
> constraints patch https://github.com/nh2/ghc/commit/32973bf3 (alias "but
> it
> was Christmas, so I did some recreational programming that went much
> further").
> However, the type checker had a strong opinion of what the right merge
> decision was, at least for the 7.10 backport; for 7.8 there was an
> ambiguity (whether to return `Nothing` or `Just` in `interactDict`), which
> was resolved with Eric's help.
>
> Please be invited to review the two commits.
>
> We would like to make 7.8 and 7.10 binaries with this feature available as
> well, and will do so after getting a review!
>
> Niklas
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20150420/dab07bf4/attachment-0001.html>


More information about the ghc-devs mailing list