[commit: ghc] wip/rae's head updated: Refactor tcInferApps. (ee3a6f3)

[git at git.haskell.org]

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

Branch 'wip/rae' now includes:

     6ab3c5f Typeable: Always use UTF-8 string unpacking primitive
     d7b1751 configure: Cleanup ARM COPY bug test artifacts
     a051b55 testsuite: Ensure that hs_try_putmvar003 terminates
     c9e4c86 Allow visible type application for []
     1ed41a7 Fix links to SPJ’s papers (fixes #12578)
     0b89b2d Add Haddocks for Eq (STRef a) and Eq (IORef a)
     c940e3b dmdAnal: Ensure that ExnStr flag isn't dropped inappropriately
     6e3c901 Fix #13983 by creating a TyConFlavour type, and using it
     927e781 typo: -XUndeci[d]ableInstances
     b066d93 base: Improve docs to clarify when finalizers may not be run
     cc839c5 Typeable: Ensure that promoted data family instance tycons get bindings
     a273c73 Spelling fixes
     eeb141d Demand: Improve comments
     8e51bfc Introduce -fcatch-bottoms
     c9c762d testsuite: Pipe stdin directly to process
     a85a595 arcconfig: Set project ruleset to use master merge-base by default
     194384f Fix busy-wait in SysTools.builderMainLoop
     fdb6a5b Make IfaceAxiom typechecking lazier.
     5469ac8 Interpreter.c: use macros to access/modify Sp
     bade356 rts: Claim AP_STACK before adjusting Sp
     1480080 distrib/configure: Canonicalize triples
     b2d3ec3 testsuite: Add test for #13916
     ccac387 Revert "testsuite: Add test for #13916"
     36e8bcb HsPat: Assume that no spliced patterns are irrefutable
     fefcbfa build system: Ensure there are no duplicate files in bindist list
     acbbb50 Fix ungrammatical error message
     cbbf083 fix dllwrap issue.
     c1d9690 Avoid linear lookup in unload_wkr in the Linker
     ee1047e Update autoconf scripts
     98ab12a distrib/configure: Carry FFI include/lib paths from source distribution
     fb08252 users-guide: Improve legibility of OverlappingInstances documentation
     0ae0f46 Preserve HaskellHaveRTSLinker in bindist
     646ec0e Bump a bunch of submodules
     b8afdaf Update release notes for 8.2.1
     fb17cc5 Bump integer-gmp version
     ecc9e9a ghc-prim: Bump version
     d4e9721 testsuite: Fix cabal01 for real this time
     44b090b users-guide: Standardize and repair all flag references
     c945195 users-guide: Fix various wibbles
     2dff2c7 Fix more documentation wibbles
     145f1c7 Remove 8.0.2 release notes file
     88f20bd Add a caveat to the GHC.Generics examples about :+: nesting
     a602b65 users-guides: Fix errant whitespace
     0c04d78 users-guide: Cross-reference more flags
     58b62d6 users-guide: Eliminate some redundant index entries
     3e5d0f1 users-guide: Make it easier to reference haddocks
     897366a users-guide: Fix URL of deferred type errors paper
     85a295d ghc-prim: Don't allocate a thunk for each unpacked UTF-8 character
     8a8cee7 DynFlags: Drop rtsBuildTag field
     d8051c6 Use libpthread instead of libthr on FreeBSD
     8ec7770 testsuite: Add testcase for #13168
     2183ac1 Fix import error with -XPackageImports when the module has a duplicate name
     58545fd base: Introduce GHC.ByteOrder
     104c72b Expose FrontendPluginAction
     7d1909a Remove unused language pragma
     36b270a Revert "Remove unused language pragma"
     6bb32ba Fix #10684 by processing deriving clauses with finer grain
     746ab0b Add an Outputable instance for ListMap
     75bf11c Fix binder visiblity for default methods
     6386fc3 Comments and tc-tracing only
     f959624 Comments only
     d31181b Test Trac #14033
     5836e65 Improve error messages around kind mismatches.
     37a52c3 Fix #11400, #11560 by documenting an infelicity.
     a3f7a4f Test #11672 in typecheck/should_fail/T11672.
     535eebe Don't tidy vars when dumping a type
     8bc86db Preserve CoVar uniques during pretty printing
     3596cbc Remove old coercion pretty-printer
     c95db6e Fix #13819 by refactoring TypeEqOrigin.uo_thing
     6b78773 Track visibility in TypeEqOrigin
     e77ccd1 Fix #11963 by checking for more mixed type/kinds
     1076173 Document that type holes kill polymorphic recursion
     8c89c94 Fix #12176 by being a bit more careful instantiating.
     1cf0827 Fix #12369 by being more flexible with data insts
     ee3a6f3 Refactor tcInferApps.