[commit: ghc] wip/T14152's head updated: Inline exit join points in the "final" simplifier iteration (5374dec)

[git at git.haskell.org]

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

Branch 'wip/T14152' now includes:

     6257fb5 Comments about GlobalRdrEnv shadowing
     118efb0 Restrict Lint's complaints about recursive INLINEs somewhat
     698adb5 Tracing in OccAnal (commented out)
     4c6fcd7 Comments only
     61c4246 Test Trac #14110
     f50e30e Doctests for Data.Tuple
     6267d8c Enable -Wcpp-undef for GHC and runtime system
     cf8ab1c users_guide: Convert mkUserGuidePart generation to a Sphinx extension
     8e5b6ec Add strict variant of iterate
     ee2e9ec Correct incorrect free in PE linker
     1cdceb9 Revert "Add strict variant of iterate"
     34bd43d Fix loading of dlls on 32bit windows
     6982ee9 Fix #14125 by normalizing data family instances more aggressively
     a89bb80 Fix #14114 by checking for duplicate vars on pattern synonym RHSes
     79b259a Fix #13885 by freshening reified GADT constructors' universal tyvars
     8476097 Revise function arity mismatch errors involving TypeApplications
     8fd9599 Make the Read instance for Proxy (and friends) ignore precedence
     afc2f79 Move validate cleaning from distclean to clean
     4717ce8 Fix incorrect retypecheck loop in -j (#14075)
     9afaebe StgLint: Allow join point bindings of unlifted type
     cd5a970 Make law for Foldable.length explicit
     20c7053 Bump haddock submodule
     090d896 fix typo (expreesions -> expressions)
     028645c Fixed a typo in template-haskell documentation
     dbaa9a2 DynFlags: Add inverse of -dno-debug-output
     3625728 Add support for producing position-independent executables
     7463a95 users-guide: Better error messages on incomplete ghc-flag directives
     74af2e7 Typo fixed
     11657c4 Better pretty-printing for CHoleCan
     a211dca Fix defer-out-of-scope-variables
     aeb4bd9 Remove typeKind from Type.hs-boot
     5f3d2d3 CNF: Implement compaction for small pointer arrays
     a0b7b10 Restrict exprOkForSpeculation/case to unlifted types
     407c11b Bottoming expressions should not be expandable
     33452df Refactor the Mighty Simplifier
     8649535 Don't do the RhsCtxt thing for join points
     dd89a13 Comments, plus adjust debug print of TcTyThing(ATyVar)
     a67b66e Add strict variant of iterate
     f135fb2 rts: Fix warnings on aarch64 and clean up style
     80ccea8 rts: Fix references to Note [BFD import library]
     76e59a2 rts: Fix ASSERTs with space before opening paren
     8f19c65 Rip out mkUserGuidePart
     83484a6 Fix two typos in the ImpredicativeTypes user guide
     a055f24 Adjust test suite stats
     682e8e6 Actually bump T12150
     29da01e Make parsed AST dump output lazily
     6e0e0b0 Comments only
     8834d48 Better debug-printing for Outputable TyConBinder
     547e4c0 A bit more -ddump-tc tracing
     6f050d9 Add TcRnMonad.unlessXOptM
     0257dac Refactor bindHsQTyVars and friends
     86e6a5f Small refactoring of meta-tyvar cloning
     4455c86 Use a well-kinded substitution to instantiate
     8eead4d Improve kind-application-error message
     a6c448b Small refactor of getRuntimeRep
     aed7d43 Add HasDebugStack for typeKind
     248ad30 testsuite: Add test for #14128
     db3a8e1 desugar: Ensure that a module's dep_orphs doesn't contain itself
     5266ab9 Remove dll-split.
     895a765 Refactor type family instance abstract syntax declarations
     3c6b2fc Fix decomposition error on Windows
     5f6a820 Add gen-dll as replacement for dll-split
     f86de44 ghc-pkg: Try opening lockfiles in read-write mode first
     a27bb1b base: Add support for file unlocking
     779b9e6 PackageDb: Explicitly unlock package database before closing
     9d57d8c nativeGen: Don't index into linked lists
     651b4dc StgLint: Show type of out-of-scope binders
     a36b34c StgLint: Enforce MultiValAlt liveness invariant only after unariser
     f17f106 StgLint: Give up on trying to compare types
     1561525 HsExpr: Fix typo
     6f1ccaa Add a Note describing #14128
     567dca6 Add some traceRn and (Outputable StmtTree)
     628b666 Add comments to RnTypes
     fca1962 Define and use HsArg
     805b29b Add debugPprType
     3790ea9 Small changes to ddump-tc tracing
     2c133b6 Really fix Trac #14158
     c0feee9 Add missing Semigroup instances to compiler
     b2c2e3e Add missing Semigroup instances in utils/{hpc,runghc}
     dd643bc Improve stm haddocks
     1f052c5 Fix order of PrelRule
     8a1de42 Add testcase for #14178
     f089c32 Remove broken citeseer citation links
     590e737 Update transformers submodule
     6330b0b Document the intricacies of ForallC variable quantification better
     5dd6b13 Disallow bang/lazy patterns in the RHSes of implicitly bidirectional patsyns
     8e4229a Fix #14167 by using isGadtSyntaxTyCon in more places
     0ec4376 Document the Generic(1) laws
     cb3363e Move NonEmpty definition into GHC.Base
     31281a4 testsuite: Fix validation of ways
     b996e12 testsuite: Add test for #14129
     7e5d4a0 Remember the AvailInfo for each IE
     b9ac9e0 Fix egregious duplication of vars in RnTypes
     1300afa get-win32-tarballs: Use bash, not sh
     a4c2ac2 get-win32-tarballs: Use correct `find`
     542f89f Replace hashing function for string keys implementation with xxhash
     cd857dd SetLevels: Substitute in ticks in lvlMFE
     6458b8d base: Update acosh to handle -1::Complex
     c2881a2 StgLint: Show constructor arity in mismatch message
     822abbb eventlog: Clean up profiling heap breakdown type
     24e50f9 rts: Add heap breakdown type for -hT
     0829821 Implicitly bind kind variables in type family instance RHSes when it's sensible
     0cd467b rts: Fix use of #if
     2273353 Clean up opt and llc
     c6726d6 Cleanups, remove commented-out code
     a04cfcf Update xhtml submodule
     fee403f Handle W80 in floatFormat
     d97a6fe Fix typos in diagnostics, testsuite and comments
     055d73c Travis: Boot with ghc-8.2.1, and disable test suite
     2ef8373 Implement a dedicated exitfication pass #14152
     7eacc7b Do some ad-hoc CSE in Exitification
     5374dec Inline exit join points in the "final" simplifier iteration