[commit: ghc] wip/nested-cpr's head updated: Reimplement mkWWcpr_help (acd56a7)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

Branch 'wip/nested-cpr' now includes:

     f8b25c3 Update to core-spec documentation.
     51deeb0 Another raft of Template Haskell clean-up
     803afa3 In toHsType, filter out kind variables
     5f3aa06 Typos in comments in TcEvidence
     df37261 Typos in comments
     6279a01 ghc.mk: one module name per line
     9fbb8c7 Rejigger flushExec implementation (#8562, #8561)
     a247887 Comment only
     1812f44 Comment only
     3ac1539 Add role-checking ASSERT to mkCast
     f432229 Remove unused liftTcCoSubstWith
     9d643cf Roleify TcCoercion
     aef9044 Beginnings of removing EvCoercible
     808ded9 Get rid of EvCoercible
     9bc5b53 Coercible for impredicative types
     3fcde74 Comments only
     1df2116 EvCast needs to take a representational coercion
     b68bfda Initial work on Nested CPR
     b2c3335 Further work on Nested CPR
     68d6b93 Fix a lubDmdResult equation
     aca5a26 Loop breakers are not allowed to have a Converges DmdResult
     a15bc77 Forget DmdResult information within recursive calls
     b4ccb37 No need to limit the depth of DmdResult any more
     5eb7fc7 Apply state hack only to information about arguments
     c9d3381 Recover [CPR for sum types] (slightly differently)
     acd56a7 Reimplement mkWWcpr_help