GitLab

Fixes Trac #6147

See Note [The ambiguity check for type signatures] in TcMType,
and Trac #6134, which this change fixes.

A bit of refactoring as usual.

A thunk with no free variables was not getting blackholed when
-feager-blackholing was on, but we were nevertheless pushing the
stg_bh_upd_frame version of the update frame that expects to see a
black hole.

I fixed this twice for good measure:

 - we now call blackHoleOnEntry when pushing the update frame to check
   whether the closure was actually blackholed, and so that we use the
   same predicate in both places

 - we now black hole thunks even if they have no free variables.
   These only occur when optimisation is off, but presumably if you say
   -feager-blackholing then that's what you want to happen.

If we are interrupted to do a GC, then we do not immediately do another
one.  This avoids a starvation situation where one Capability keeps
forcing a GC and the other Capabilities make no progress at all.

Previously (Trac #6148) we were only complaining for the
distfix syntax (a,b,c).

This is (I hope) the last major patch for kind polymorphism.
The big new feature is polymorphic kind recursion when you
supply a complete kind signature for a type constructor.
(I've documented it in the user manual too.)

This fixes Trac #6137, #6093, #6049.

The patch also makes type/data families less polymorphic by default.
   data family T a
now defaults to T :: * -> *
If you want T :: forall k. k -> *, use
   data family T (a :: k)

This defaulting to * is done whenever there is a
"complete, user-specified kind signature", something that is
carefully defined in the user manual.

Hurrah!

The bindist install directory was wrong.

Make InteractiveEval.setContext throw a clearer exception when it is
asked to add an IIModule which is not a home module or is not
interpreted.

This will make it possible to write PrelRules that produce an Integer
result without having Integer arguments.

This will let us get at the types of the Id, which in particular means
that for a rule for
    intToInteger :: Int# -> Integer
we can get the "Integer" type, which we can use to build an Integer
literal.

See Note [Renamer errors].  Fixes Trac #6114

This is when converting from TH -> HsSyn
Thanks to Richard Eisenberg