GitLab

It was equivalent to showPpr anyway.

We also store the Doc still, although we don't have to; we could
just convert back again, at the cost of some inefficiency.

But we do need the String, so that we can print it in the Show instance.

To help with this, we now also pass DynFlags around inside the SpecM
monad.

This shouldn't be any slower; the FilePaths were already going via
String so that we could normalise them.

This means that very early on, when printing flag parsing errors, we
can do so without having a DynFlags yet.

A side-effect is that we can no longer use the LogAction in
defaultErrorHandler, as we don't have DynFlags at that point.
But all that defaultErrorHandler did is to print Strings as
SevFatal, so now it takes a 'FatalMessager' instead.

We don't use it yet

We now include the String and the SDoc in the exception, and don't
flatten them into a String until near the top-level

simplifyTop, code beautification etc. Important things:

(a) New top-level defaulting plan, gotten rid of the SimplContext field.
    See Note [Top-level Defaulting Plan]

(b) Serious bug fix in the floatEqualities mechanism
    See Note [Extra TcS Untouchables],[Float Equalities out of Implications]

The changes are mostly confined in TcSimplify but there is a
simplification wave affecting other modules as well.

with functional dependencies, and interactions with the top-level,
as well as minor refactoring.