[commit: ghc] wip/rae's head updated: Incorporate bgamari's suggestions for #11614. (857e9b0)

[git at git.haskell.org]

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

Branch 'wip/rae' now includes:

     a9dc62a Remove "use mask" from StgAlt syntax
     009a999 TyCoRep: Add haddock sections
     c1efdcc Overload the static form to reduce verbosity.
     feb19ea testsuite: mark tests broken on powerpc64
     8e19d3a base: A selection of fixes to the comments in GHC.Stats
     0c7db61 ApplicativeDo: Handle terminal `pure` statements
     6319a8c HscMain: Delete some unused code
     673efcc Add more type class instances for GHC.Generics
     6658491 Make warning names more consistent
     52879d1 Reconstruct record expression in bidir pattern synonym
     ebaa638 Bump haddock.base allocations
     073e20e cmpTypeX: Avoid kind comparison when possible
     6739397 (Alternative way to) address #8710
     6350eb1 Handle multiline named haddock comments properly
     e38c07b Improve accuracy of suggestion to use TypeApplications
     20ab2ad Note new GHC.Generics instances in release notes
     116528c Improve pattern synonym error messages (add `PatSynOrigin`)
     8e6e022 Testsuite: Introduce config.plugin_way_flags.
     e02b8c8 Testsuite: for tests that use TH, omit *all* prof_ways
     90fa8cf Mark tests for #11643, #11644, #11645 and #9406 expect_broken
     9b49c65 Testsuite: delete empty files [skip ci]
     1badf15 Testsuite: do not write empty files on 'make accept'
     bb5afd3 Print which warning-flag controls an emitted warning
     bbfff22 Unconditionally handle TH known key names.
     a026112 Typos in comments, etc.
     e3f341f Fix and refactor strict pattern bindings
     a81e9d5 Special case for desugaring AbsBinds
     4ddfe13 Get the right in-scope set in specUnfolding
     7496be5 Exclude TyVars from the constraint solver
     253ccdf Comments and white space only
     b4dfe04 Fix kind generalisation for pattern synonyms
     e193f66 Filter out BuiltinRules in occurrence analysis
     ef7b1d5 Test Trac #11611
     eee040c Update transformer submodule to v0.5.2.0 release
     890e2bb GHC.Generics: Ensure some, many for U1 don't bottom
     3ee4fc0 rts: drop unused global 'blackhole_queue'
     b9c697e Print which flag controls emitted desugaring warnings
     869d9c6 Print which flag controls emitted lexer warnings
     82f200b Annotate `[-Wredundant-constraints]` in warnings (re #10752)
     b6c61e3 Print which flag controls emitted SafeHaskell warnings
     3cd4c9c Annotate `[-Wdeferred-type-errors]` in warnings (re #10752)
     46f3775 Default to -fno-show-warning-groups (re #10752)
     171d95d Missing Proxy instances, make U1 instance more Proxy-like
     ad4428d base: Mark Data.Type.Equality as Trustworthy
     2535c82 Fix bug where reexports of wired-in packages don't work.
     f72bdbd Refactor `warnMissingSignatures` in `RnNames.hs`
     16e97c1 Build system: Correctly pass `TARGETPLATFORM` as host
     2e49a31 DynFlags: Add -Wredundant-constraints to -Wall
     e3b9dbf Testsuite: check actual_prof_file only when needed
     de01de7 Remove some more Windows line endings [skip ci]
     f8a5dd0 Only add -fshow-warning-groups for ghc >= 7.11 (#10752)
     49c55e6 Skip TEST=TcCoercibleFail when compiler_debugged
     3c29c77 Do not check synonym RHS for ambiguity
     243e2ab Comments only
     2d52c3a A bit more tracing in TcHsType.tcTyVar
     a0899b2 Remove unnecessary isTyVar tests in TcType
     57b4c55 Don't complain about unused Rule binders
     286dc02 Fix an outright bug in expandTypeSynonyms
     aea1e5d Use tyConArity rather than (length tvs)
     91a6a9c Add Monoid instance for FastString
     15517f3 SimplEnv: Add Haddock headings to export list
     1f3d953 users-guide: Mention #11558 in release notes
     120b9cd rts/timer: use timerfd_* on Linux instead of alarm signals
     6ca9b15 GHCi: Fix load/reload space leaks (#4029)
     3801262 Fix printing of an `IfacePatSyn`
     1d6177b Using unsafe foreign import for rtsSupportsBoundThreads (part of #9696)
     bd681bc Drop module qualifier from punned record fields (#11662)
     ade1a46 Fix minimum alignment for StgClosure (Trac #11395)
     5e2605e GhcMake: Clang/ASSERT fix
     13a801a Revert "Mark tests for #11643, #11644, #11645 and #9406 expect_broken"
     82e36ed Reduce fragmentation from m32_allocator
     90e1e16 Split external symbol prototypes (EF_) (Trac #11395)
     1a9734a template-haskell: Drop use of Rank2Types/PolymorphicComponents
     941b8f5 template-haskell: remove redundant CPP use
     1c76e16 template-haskell: define `MonadFail Q` instance
     4c3a0a4 Fix the implementation of lazyId
     5a494d8 Refactoring around TcPatSyn.tcPatToExpr
     374f919 Update Cabal submodule to latest HEAD snapshot
     c42cdb7 fix Float/Double unreg cross-compilation
     fc16690 Fix #11624, cannot declare hs-boot if already one in scope.
     c937f42 Add regression test for #11555
     a1c4230 Use catchException in a few more places
     30ee910 Make `catch` lazy in the action
     f3def76 add regression test for #11145.
     767ff7c Document Quasi-quotes/list comprehension ambiguity
     a74a384 Include version in AC_PACKAGE_TARNAME
     f8056fc Make integer-gmp operations more strict
     d48220e Add Note [Running splices in the Renamer]
     90b8af0 Fix readme link to FixingBugs wiki page
     06b70ff Add doc to (<$>) explaining its relationship to ($)
     8626d76 rtx/posix/Itimer.c: Handle return value of `read`
     6a2992d Add MonadUnique instance for LlvmM
     e764ede Add ghc-flag directory for -XPatternGuards
     2908ae8 Handle unset HOME environment variable more gracefully
     3ea11eb Move getOccFS to Name
     7ba817c Bump allocations for T6048
     2f45cf3 Add -foptimal-applicative-do
     e46742f rts: fix threadStackUnderflow type in cmm
     4d791b4 Simplify: Make generated names more useful
     41051dd ghci: add message when reusing compiled code #9887
     92821ec LlvmCodeGen: Fix generation of malformed LLVM blocks
     9ee51da users_guide: Break up -fprint-* description
     d12166a Fix the name of the Word16ElemRep wired-in datacon
     3f60ce8 Add regression test for #11702
     18fbfa3 Move and expand (slightly) TypeApplications docs
     e9bf7bb Fix #11407.
     84c773e Fix #11334.
     35d37ff Fix #11401.
     972730c Refactor visible type application.
     6c768fc Expand Note [Non-trivial definitional equality]
     693b38c Test case for #11699 in typecheck/should_compile
     e7a8cb1 Document TypeInType (#11614)
     55577a9 Fix #11648.
     3f5d1a1 Allow eager unification with type families.
     de4df6b Testsuite wibbles from previous commits.
     19be538 Remove redundant anonymiseTyBinders (#11648)
     857e9b0 Incorporate bgamari's suggestions for #11614.