[commit: ghc] wip/T12819's head updated: Reshuffle levity polymorphism checks. (37bb95b)

[git at git.haskell.org]

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

Branch 'wip/T12819' now includes:

     500d90d ghc-cabal: Use correct name of linker flags env variable
     816d2e4 build system: Include CONF_LD_LINKER_OPTS in ALL_LD_OPTS
     9030d8e configure: Pass HC_OPTS_STAGEx to build system
     bae4a55 Pass -no-pie to GCC
     0a122a4 testsuite: Update allocation numbers for T5631
     e06e21a Add Richard Eisenberg's new email to mailmap
     bef7e78 Read parentheses better
     122d826 rts: Add api to pin a thread to a numa node but without fixing a capability
     aa10c67 rts/linker: Move loadArchive to new source file
     e8ae4dc Update user's guide after D2490
     03e8d26 Prevent GND from inferring an instance context for method-less classes
     60bb9d1 Revert "Pass -no-pie to GCC"
     7a7bb5d Revert "Refactor CallStack defaulting slightly"
     ec0bf81 rts: Fix LoadArchive on OS X
     d421a7e Pass -no-pie to GCC
     46e2bef testsuite: Lower allocations for T876
     7eae862 ghc-pkg: Munge dynamic library directories
     2cfbee8 rts: Fix build when linked with gold
     4e0b8f4 rts: Fix #include of <linker/PEi386.h>
     587dccc Make default output less verbose (source/object paths)
     568e003 template-haskell: Version bump
     ca1b986 ghc: Fix ghc's template-haskell bound
     8cb7bc5 rts: Fix references to UChar
     6c0f10f Kill Type pretty-printer
     55d535d Remove CONSTR_STATIC
     034e01e Accept output for scc003
     e0ca7ff Fix numa001 failure with "too many NUMA nodes"
     cb16890 testsuite: Fix creep of T4029
     011af2b configure: Verify that GCC recognizes -no-pie flag
     1b336d9 Skip 64-bit symbol tables
     98f9759 Hopefully fix build on OS X
     642adec Mark T12041 as expect_broken with -DDEBUG (#12826)
     017d11e Typos in comments, notes and manual
     31d5b6e fixup! Stop the simplifier from removing StaticPtr binds.
     0e58652 Test for unnecessary register spills
     4a835f0 Update xhtml submodule
     a637eeb Don't use mmap symbols when !RTS_LINKER_USE_MMAP
     0135188 Storage.c: Pass a size to sys_icache_invalidate
     fa70b1e Fix -fobject-code with -fexternal-interpreter
     7acee06 Avoid calling newDynFlags when there are no changes
     d3542fa Generalise the implicit prelude import
     8dfca69 Inline compiler/NOTES into X86/Ppr.hs
     b769586 Fix windows validate
     31398fb Test for type synonym loops on TyCon.
     2878604 Correct spelling of command-line option in comment
     cede770 Correct name of Note in comment
     07e40e9 Add Data instance for Const
     18eb57b Revert "Add Data instance for Const"
     9a4983d Pass autoconf triplets to sub-project configures
     20fb781 LLVM generate llvm.expect for conditional branches
     4d4f353 testsuite: Rip out hack for #12554
     04b024a GHCi: Unconditionally import System.Directory
     231a3ae Have reify work for local variables with functional dependencies.
     9c39e09 Switch to LLVM version 3.9
     94d1221 Add missing SMP symbols to RT linker.
     d328abc Spelling in comment only
     3bd1dd4 Add Data instance for Const
     4b72f85 Optimise whole module exports
     6ad94d8 Updated code comment regarding EquationInfo. Trac #12856
     ea37b83 A few typos in comments
     5bce207 testsuite: Add test for #12855
     926469f testsuite: Add test for #12024
     b98dbdf testsuite: Add (still broken) testcase for #12447
     e7ec521 testsuite: Add (still failing) testcase for #12550
     ea76a21 add ieee754 next* functions to math_funs
     514acfe Implement fine-grained `-Werror=...` facility
     4c0dc76 Ignore Hadrian build products.
     7e4b611 Make transformers upstream repository location consistent with others
     1399c8b ghc/hschooks.c: Fix include path of Rts.h
     f430253 Allow to unregister threadWaitReadSTM action.
     14ac372 Collect wildcards in sum types during renaming (#12711)
     d081fcf Make quoting and reification return the same types
     9a431e5 Make a panic into an ASSERT
     0476a64 Fix a bug in mk_superclasses_of
     f04f118 Comments only in TcType
     0123efd Add elemDVarEnv
     1eec1f2 Another major constraint-solver refactoring
     18d0bdd Allow TyVars in TcTypes
     4431e48 Remove redundant kind check
     90a65ad Perf improvements in T6048, T10547
     e319466 Typos in comments
     c1b4b76 Fix a name-space problem with promotion
     f0f4682 Test Trac #12867
     83a952d Test Trac #12845
     a5a3926 Kill off ifaceTyVarsOfType
     bc35c3f Use 'v' instead of 'tpl' for template vars
     edbe831 Use TyVars in a DFunUnfolding
     12eff23 Use TyVars in PatSyns
     5f349fe Improve pretty-printing of types
     eb55ec2 Refactor functional dependencies a bit
     1bfff60 Fix inference of partial signatures
     086b483 A tiny bit more tc tracing
     f8c966c Be a bit more selective about improvement
     6ec2304 Fix an long-standing bug in OccurAnal
     5238842 Typos in comments only [ci skip]
     605af54 Test Trac #12776
     27a6bdf Test Trac #12885
     3aa9368 Comments only (related to #12789)
     abd4a4c Make note of #12881 in 8.0.2 release notes
     f8c8de8 Zonk the free tvs of a RULE lhs to TyVars
     e755930 Typos in comments
     36e3622 Store string as parsed in SourceText for CImport
     1732d7a Define thread primitives if they're supported.
     30cecae users_guide: Bring 8.0.2 release notes up-to-date with ghc-8.0 branch
     f1fc8cb Make diagnostics slightly more colorful
     52222f9b Detect color support
     da5a61e Minor cleanup of foldRegs{Used,Defd}
     2d99da0 testsuite: Mention CLEANUP option in README
     3ec8563 Replace -fshow-source-paths with -fhide-source-paths
     c2268ba Refactor Pattern Match Checker to use ListT
     6845087 Purge GHC of literate Perl
     4d4e7a5 Use newBlockId instead of newLabelC
     7753273 AsmCodeGen: Refactor worker in cmmNativeGens
     6d5c2e7 NCGMonad: Add MonadUnique NatM instance
     eaed140 OrdList: Add Foldable, Traversable instances
     fe3748b testsuite: Bump haddock.compiler allocations
     795f8bd hschooks.c: Ensure correct header file is included
     6f7ed1e Make globals use sharedCAF
     56d7451 Fix type of GarbageCollect declaration
     428e152 Use C99's bool
     758b81d rts: Add missing #include <stdbool.h>
     23dc6c4 Remove most functions from cmm/BlockId
     b92f8e3 Added Eq1, Ord1, Read1 and Show1 instances for NonEmpty
     679ccd1 Hoopl/Dataflow: use block-oriented interface
     0ce59be Fix testsuite threading, timeout, encoding and performance issues on Windows
     dd9ba50 Update test output for Windows
     605bb9b testsuite: Use python3 by default
     20c0614 Update Mingw-w64 bindist for Windows
     ef37580 Fix windows validate.
     be8a47f Tweaks to grammar and such.
     03766cd Rename RuntimeRepPolymorphism to LevityPolymorphism
     e2330b6 Revert "Make globals use sharedCAF"
     c2a2911 Revert "Fix windows validate."
     6c54fa5 testsuite: Add another testcase for #11821
     0200ded Fix typo in functional dependencies doc
     f48f5a9e Ensure flags destined for ld are properly passed
     514c01e Levity polymorphic expressions mustn't be floated-out in let-bindings.
     a452c6e Make note of #12907 in 8.0.2 release notes
     0ac5e0c rts: Fix type of bool literal
     7214e92 testsuite: Remove Unicode literals from driver
     6576bf8 rts: Ensure we always give MADV_DONTNEED a chance in osDecommitMemory
     0f37550 Typos in comments
     a934e25 testsuite: Actually update haddock.compiler allocations
     37bb95b Reshuffle levity polymorphism checks.