[commit: ghc] wip/spj-tc-branch3's head updated: Allow TyVars in TcTypes (570c318)

[git at git.haskell.org]

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

Branch 'wip/spj-tc-branch3' now includes:

     a182c0e testsuite: Bump peak_megabytes_allocated for T3064
     801c263 Fundeps work even for unary type classes
     9f814b2 Delete extraneous backtick in users' guide
     925d178 Make traceRn behave more like traceTc
     488a9ed rts/linker: Move loadArchive to new source file
     23143f6 Refine ASSERT in buildPatSyn for the nullary case.
     48876ae Remove -dtrace-level
     b8effa7 CmmUtils: remove the last dataflow functions
     3562727 Simple refactor to remove misleading comment
     f9308c2 Collect coercion variables, not type variables
     eefe86d Allow levity-polymorpic arrows
     0eb8934 Fix typo in comment
     cc29eb5 Revert "rts/linker: Move loadArchive to new source file"
     815b837 Minor doc addition as requested in #12774.
     7187ded Clarify comments on kinds (Trac #12536)
     aae2b3d Make it possible to use +RTS -qn without -N
     60343a4 Add test for #12732
     5ebcb3a Document unpackClosure# primop
     4b300a3 Minor refactoring in stg_unpackClosurezh
     4e088b4 Fix a bug in parallel GC synchronisation
     7ddbdfd Zap redundant imports
     80d4a03 Typos in comments
     795be0e Align GHCi's library search order more closely with LDs
     0b70ec0 Have static pointers work with -fno-full-laziness.
     19ce8a5 Sparc*: Prevent GHC from doing unaligned accesses
     79fb6e6 Tiny refactor
     9968949 Get rid of TcTyVars more assiduously
     7a50966 Simplify the API for TcHsType.kcHsTyVarBndrs
     f4a14d6 Use substTyUnchecked in TcMType.new_meta_tv_x
     13508ba Fix Trac #12797: approximateWC
     623b8e4 Renaming and comments in CorePrep
     8a5960a Uninstall signal handlers
     cc4710a testsuite: Simplify kernel32 glue logic
     f4fb3bc linker: Split out CacheFlush logic
     abfa319 linker: Shuffle configuration into LinkerInternals.h
     43c8c1c linker: Move mmapForLinker declaration into LinkerInternals.h
     3f05126 linker: Split symbol extras logic into new source file
     c3446c6 Shuffle declarations into LinkerInternals.h
     6ea0b4f linker: Split PEi386 implementation into new source file
     f6c47df linker: Split MachO implementation into new source file
     bdc262c linker: Split ELF implementation into separate source file
     6fecb7e linker: Move ARM interworking note to SymbolExtras.c
     dc4d596 Hoopl/Dataflow: make the module more self-contained
     80076fa Add notes describing SRT concepts
     b5460dd Add testcase for #12757
     967dd5c Merge cpe_ExprIsTrivial and exprIsTrivial
     eaa3482 testsuite: Update T10858 allocations
     ec22bac Add test for #12788
     f46bfeb API Annotations: make all ModuleName Located
     a977c96 Omit unnecessary linker flags
     e43f05b Add comments from Trac #12768
     7b0ae41 Remove a debug trace
     2cdd9bd Take account of injectivity when doing fundeps
     b012120 Handle types w/ type variables in signatures inside patterns (DsMeta)
     1cab42d Update release notes for type sigs in TH patterns patch
     1c886ea Stop -dno-debug-output suppressing -ddump-tc-trace
     25c8e80 Add tracing infrastructure to pattern match checker
     630d881 Allow GeneralizedNewtypeDeriving for classes with associated type families
     ead83db Describe symptoms of (and the cure for) #12768 in 8.0.2 release notes
     1964d86 Some minor linker cleanups.
     7d988dd Fix broken validate build.
     91f9e13 Fix hs_try_putmvar003 (#12800)
     2e8463b Update 8.0.2 release notes for #12784
     2325afe Fix comment about pointer tagging
     7fe7163 Adapt the (commented out) pprTrace in OccurAnal
     f05d685 Refactoring of mkNewTypeEqn
     317236d Refactor CallStack defaulting slightly
     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.
     16036a5 Make a panic into an ASSERT
     811bde8 Fix a bug in mk_superclasses_of
     be6709e Comments only in TcType
     3c14858 Add elemDVarEnv
     6e6d93b Another major constraint-solver refactoring
     570c318 Allow TyVars in TcTypes