Backporting srcLoc to the GHC 7.10 branch

Greg Weber greg at
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> 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:
> *
> *
> 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 (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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list