[commit: ghc] wip/rae's head updated: Check for rep poly on wildcard binders. (b840ab7)

[git at git.haskell.org]

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

Branch 'wip/rae' now includes:

     7e74079 Comment fix
     7d5ff3d Move applyTysX near piResultTys
     db9e4eb Move DFunUnfolding generation to TcInstDcls
     e57b9ff Fix regression test for #11145.
     2ddfb75 base: Fix ClockGetTime on OS X
     da3b29b Ensure T9646 dump-simpl output is cleaned
     8048d51 ErrUtils: Add timings to compiler phases
     997312b Add `PatSynSigSkol` and modify `PatSynCtxt`
     2708c22 Close ticky profiling file stream after printing (#9405)
     03a1bb4 Add unicode syntax for banana brackets
     6c2c853 Various ticky-related work
     9f9345e Create empty dump files (fixes #10320)
     0db0594 DsExpr: Rip out static/dynamic check in list desugaring
     8335cc7 Add expected output for T9405
     ef653f1 Revert "Various ticky-related work"
     1448f8a Show: Restore redundant parentheses around records
     371608f Default RuntimeRep variables unless -fprint-explicit-runtime-reps
     0bd0c31 Defer inlining of Eq for primitive types
     2b5929c Comments only
     cb08f8d Tidy up handling of coercion variables
     343349d Avoid local label syntax for assembler on AIX
     2cebbe6 users_guide: Fix various issues
     8ff6518 users-guide: Add -Wredundant-constraints to flags reference
     173a5d8 users_guide: small improvements on pattern synonyms.
     2414952 Add option `no-keep-hi-files` and `no-keep-o-files` (fixes #4114)
     df26b95 Add NCG support for AIX/ppc32
     4dc8835 Remove code-duplication in the PPC NCG
     26f86f3 base: Fix GHC.Word and GHC.Int on 32-bit platforms
     84dd9d0 An extra traceTc in tcExpr for ExprWithSig
     356e5e0 Do not eta-reduce across Ticks in CorePrep
     12372ba CorePrep: refactoring to reduce duplication
     067335a A raft of comments about TyBinders
     b416630f Test Trac #11728
     da4bc0c Document implicit quantification better
     454585c More clarification in docs for implicit quantification
     ccd68f2 Fix #11754 by adding an additional check.
     b840ab7 Check for rep poly on wildcard binders.