[commit: ghc] wip/rae's head updated: Fix #12176 by being a bit more careful instantiating. (ba0598b)

[git at git.haskell.org]

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

Branch 'wip/rae' now includes:

     430137c Add mapMG to allow making ModuleGraph abstract
     9849403 base: Validate input in setNumCapabilities
     dc8e686 Fix the treatment of 'closed' definitions
     fda094d Provide way to build using existing C compiler on Windows.
     d6cecde Remove the Windows GCC driver.
     559a0c5 Fix out-of-date comments in TyCoRep
     8573100 Look through type synonyms in existential contexts when deriving Functor
     df32880 Typofix in Data.Type.Equality comments
     b9f9670 rts: Ensure that new capability count is > 0
     e12ea39 rts: A bit of cleanup around the eventlog
     04ca036 testsuite: Add testcase for #13822
     ee9232524 Add fixity declaration for :~~:
     23f47b1 Add T9630
     bea18a0 Fix GCC 7 warning in the RTS
     990928f Don't expose fingerprints from Type.Reflection
     271e0f0 Add test cases for #13821
     a9b62a3 configure: Look for objdump on OpenBSD and AIX
     6a2264d cmm/CmmLayoutStack: avoid generating unnecessary reloads
     564a31f Reword documentation region overlap documentation for copying mutable arrays
     986deaa Add missing -Wdeprecations flag to the users guide
     5c93df9 Improve comments on AbsBinds
     b1fa386 Fix note reference [ci skip]
     6dd1257 UNREG: use __builtin___clear_cache where available
     88263f9 base: Export Fingerprint accessors from Type.Reflection.Unsafe
     c85cd9b Show only the number of modules in ghci
     c8370a8 change filtering of variables in extract_hs_tv_bndrs (fixes #13782)
     c6fe403 Revert "UNREG: use __builtin___clear_cache where available"
     d1d3e98 rts: Suppress unused gcc_clear_cache warning
     76769bd Revert "rts: Suppress unused gcc_clear_cache warning"
     a9bf7d4 Fix typo
     34b7f63 UNREG: use __builtin___clear_cache where available
     84cf095 compiler: Eliminate pprTrace in SPT entry addition codepath
     e13edee testsuite: Fix cabal01 test
     398a444 Add fixity declaration for Data.List.NonEmpty.!!
     3c4537e Fix pretty-printing of zero-argument lambda expressions
     9077120 Use actual universal tvs in check for naughty record selectors
     42eee6e Hoopl: remove dependency on Hoopl package
     faefa7e documentation: fix trac issue #12978
     a48464a users guide: Rephrasing
     904255e DWARF: Use .short to render half-machine-words
     4bd4f56 rts: Always collect stats
     86abe0e users-guide/debug-info: Fix incorrect DWARF tags
     b8f8736 base/inputReady: Whitespace cleanup
     914962c Update docs to reflect changes to DeriveDataTypeable
     9ef909d Allow bytecode interpreter to make unsafe foreign calls
     12a3c39 testsuite: Add broken test for #13871
     1346525 typecheck: Consider types containing coercions non-Typeable
     1e47126 rts: Clarify whitehole logic in threadPaused
     6567c81 Treat banged bindings as FunBinds
     b070858 Make module membership on ModuleGraph faster
     22b917e Revert "Make module membership on ModuleGraph faster"
     4bdac33 Fix the in-scope set in TcHsType.instantiateTyN
     c80920d Do zonking in tcLHsKindSig
     fae672f Fix constraint solving for forall-types
     87c5fdb Zap stable unfoldings in worker/wrapper
     78c80c2 Typos in comments and manual [ci skip]
     3f9422c More typos in comments [ci skip]
     7097f94 Remove unneeded import
     54ccf0c remove dead function 'tcInstBinders'
     3b0e755 Fix lexically-scoped type variables
     58c781d Revert "Remove the Windows GCC driver."
     c2fb6e8 Typos in comments
     c3f12ec Fix T13701 allocation for Linux
     7de2c07 users-guide: Document FFI safety guarantees
     6171b0b configure: Check for binutils #17166
     007f255 Allow optional instance keyword in associated type family instances
     625143f configure: Coerce gcc to use $LD instead of system default
     9b514de rts/RetainerProfile: Const-correctness fixes
     1ef4156 Prevent ApplicativeDo from applying to strict pattern matches (#13875)
     0592318 Fix paper link in MVar docs [ci skip]
     544ac0d rename tcInstBinder(s)X to tcInstBinder(s)
     84d6831a users-guide: Wibbles in shared libraries discussion
     287a405 Allow per-argument documentation on pattern synonym signatures
     1a9c3c4 Implement recompilation checking for -fignore-asserts
     f9c6d53 Tag the FUN before making a PAP (#13767)
     c3a7862 Fix #13311 by using tcSplitNestedSigmaTys in the right place
     d55bea1 Fix -fno-code for modules that use -XQuasiQuotes
     0c1f905 CmmParse: Emit source notes for assignments
     5aee331 Bump array submodule to v0.5.2.0
     8f8d756 rts: Fix uninitialised variable uses
     af403b2 ApplicativeDo: document behaviour with strict patterns (#13875)
     ef63ff2 configure: Remove --with-curses-includes flag
     a6f3d1b rts: Fix isByteArrayPinned#'s treatment of large arrays
     960918b Add -fuse-ld flag to CFLAGS during configure
     0836bfb testsuite: Add testcase for #13615
     fd7a7a6 Eagerly blackhole AP_STACKs
     9492703 rts/sm/Storage.c: tweak __clear_cache proto for clang
     7040660 Revert "rts/sm/Storage.c: tweak __clear_cache proto for clang"
     3eeb55e rts/sm/Storage.c: tweak __clear_cache proto for clang
     555e5cc rts: Address AP_STACK comment suggestion from Simon
     4997177 mkDocs: Don't install *.ps
     f3979b7 lowercase clang
     99adcc8 Typos in comments [ci skip]
     bd4fdc6 Implement split-sections support for windows.
     c2303df aclocal.m4: allow arbitrary <vendor> string in toolchain triplets
     e1146ed Fix typos in Bag.hs [ci skip]
     81377e9 Big-obj support for the Windows runtime linker
     c506f83 Pretty-printer no longer butchers function arrow fixity
     4f69013 testsuite: Decrease T13701 allocations
     31ceaba user-guide: Various fixes to FFI section
     905dc8b Make ':info Coercible' display an arbitrary string (fixes #12390)
     7c9e356 Fix Work Balance computation in RTS stats
     b0c9f34 Improve Wmissing-home-modules warning under Cabal
     6cff2ca Add testcase for T13818
     15fcd9a Suppress unused warnings for selectors for some derived classes
     cb8db9b Sort list of failed tests for easier comparison between runs
     b8f33bc Always allow -staticlib
     fe6618b ByteCodeGen: use depth instead of offsets in BCEnv
     ccb849f users-guide/rel-notes: Describe #13875 fix
     81de42c Add Template Haskell support for overloaded labels
     abda03b Optimize TimerManager
     ea75124 Fix logic error in GhcMake.enableCodeGenForTH
     ba46e63 Fix #13948 by being pickier about when to suggest DataKinds
     85ac65c Fix #13947 by checking for unbounded names more
     ef7fd0a Parenthesize infix type names in data declarations in TH printer
     ec351b8 Add Template Haskell support for overloaded labels
     a249e93 Remove unnecessarily returned res_ty from rejigConRes
     d3bdd6c testsuite: Fix T13701 allocations yet again
     fcd2db1 configure: Ensure that we don't set LD to unusable linker
     be04c16 StgLint: Don't loop on tycons with runtime rep arguments
     20880b5 testsuite: Show stderr output on command failure
     a0d9169 Fix minor typo
     3a163aa Remove redundant import; fix note
     4befb41 Mention which -Werror promoted a warning to an error
     9b9f978 Use correct section types syntax for architecture
     1ee49cb Fix missing escape in macro
     60ec8f7 distrib/configure: Fail if we can't detect machine's word size
     7ae4a28 [iserv] Fixing the word size for RemotePtr and toWordArray
     5743581 testsuite: Update haddock allocations
     4700baa testsuite: Again update allocations of T13701
     1909985 Fix some excessive spacing in error messages
     f656fba [skip ci] Temporarily disable split-sections on Windows.
     12ae1fa Fix a missing getNewNursery(), and related cleanup
     935acb6 Typos in comments and explanation for unusused imports
     b8fec69 Make module membership on ModuleGraph faster
     c17d73c Improve error messages around kind mismatches.
     4e96906 Fix #11400, #11560 by documenting an infelicity.
     4a6a690 Test #11672 in typecheck/should_fail/T11672.
     77c8e72 Don't tidy vars when dumping a type
     4e45b23 Preserve CoVar uniques during pretty printing
     dfd2d39 Remove old coercion pretty-printer
     ea32578 Fix #13819 by refactoring TypeEqOrigin.uo_thing
     4931f56 Track visibility in TypeEqOrigin
     7623d40 Fix #11963 by checking for more mixed type/kinds
     572b076 Document that type holes kill polymorphic recursion
     ba0598b Fix #12176 by being a bit more careful instantiating.