[commit: ghc] wip/nested-cpr's head updated: Do not forget about Divergence of thunks (f523007)

[git at git.haskell.org]

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

Branch 'wip/nested-cpr' now includes:

     4d1ea48 Implement shortcuts for slow calls (#6084)
     e9b0d36 Fix up shortcut for slow calls
     9021737 Comments on slow-call-shortcutting
     77e33bc -ddump-cmm: don't dump the proc point stage if we didn't do anything
     6f7fa4e Refactor handleRunStatus some more, add comments and tidy up formatting
     a8ac471 Fix the deugger (fixing Trac #8557)
     f3a8416 More faff to get GHCi's top-level environment right
     59e17d6 Fail (rather than addErr) if you use a bogus field in a pattern
     9641641 Remove whitespace between macro identifiers and `(`
     23efdd6 Update Notes for Coercible
     ceb600d Minor fix to example GHC plugin in the documentation
     2e3c6a5 Update "stolen syntax" section (#8575)
     9c3c152 Call busy_wait_nop() in the spin-wait loop in shutdown_gc_threads()
     de9f17e Update "stolen syntax" section (#8575)
     4bbffb4 Fix documentation of FlexibleContexts (#8574)
     adb9964 Fix loopification with profiling and enable it by default (#8275)
     6d24076 Document solution to #8275
     6178f6e Don't explicitly refer to nodeReg in ldvEnterClosure
     ac31b79 Move the LDV code below the self-loop label (#8275)
     574ccfa Respect the ordering of -package directives
     fac831f Revert "Respect the ordering of -package directives"
     5e86ea5 TcDeriv: s/isomorphism/coercible
     bd7a125 With GND, report Coercible errors earliy
     1791ea0 Print nicer error message for Coercible errors
     06facab Refactor deferTcSForAllEq: Do not bind, but return EvTerm
     249d47a Bind monadic stuff in getCoercibleInst locally, not via parameters
     e1e9faf Handle Coercible (forall a. t) (forall a. t2) in TcInteract
     b859c18 More links to [Coercible Instances]
     3fecf81 Remove dead code orphaned by implementing GND with `coerce`.
     4067340 Rejig rejigConRes & friends, doing role checks in a second pass.
     20cc594 Improve the handling of used-once stuff
     b84fff3 Fix location of spliced-in role annotations.
     90588c1 Move FunDeps to typecheck
     cb17c1f Note [HyperStr and Use demands]
     0fe399c Some popular typos in comments
     51bebb7 Refactor: Origin of inferred Thetas
     4025d66 Elaborate "deriving" error messages
     84d4165 Merge remote-tracking branch 'origin/master' into better-ho-cardinality
     9e0ec3c Initial work on Nested CPR
     20b5770 Further work on Nested CPR
     0052efc Reimplement mkWWcpr_help
     f559a15 Do not generate workers with one element (# .. #) types
     da8665c Fix a lubDmdResult equation
     f4e5641 Loop breakers are not allowed to have a Converges DmdResult
     938cf3d Apply state hack only to information about arguments
     5b76053 More tracing
     48a9118 Recover [CPR for sum types] (slightly differently)
     f523007 Do not forget about Divergence of thunks