[commit: ghc] wip/gadtpm's head updated: Overhaul the Overhauled Pattern Match Checker (be3e867)

[git at git.haskell.org]

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

Branch 'wip/gadtpm' now includes:

     d1ce1aa users-guide: Clean manpage build artifacts and fix usage of clean-target
     b3eb8fa Complete operators properly
     65b810b Show TYPE 'Lifted/TYPE 'Unlifted as */# in Show TypeRep instance
     f3a867e Add testcase for #11414
     2fd407c validate: Use gz compression during bindist check
     a7b751d un-wire-in error, undefined, CallStack, and IP
     5a62b6a Simplify API to tcMatchTys
     f02200f Layout only
     cb24e68 Fix typecheck of default associated type decls
     b7e5c30 White space only
     6e0c0fd Improve debug printing/warnings
     ec8a188 Refactoring on IdInfo and system derived names
     8e6a68d Add Trac #11427 to Note [Recursive superclasses]
     e2c7b7e Implement scoped type variables in pattern synonyms
     8e50301 Test Trac #11379
     5412899 Typo in comment
     817dd92 Fixes to "make clean" for the iserv dir
     b8abd85 Replace calls to `ptext . sLit` with `text`
     240ddd7 Switch from -this-package-key to -this-unit-id.
     cbc03f1 ghci: Kill global macros list
     d2ea7f9 Hide derived OccNames from user
     38666bd user-guide: Delete errant fragment
     aff51af users-guide: Begin documenting --frontend
     80265c4 Typos in comments
     9d33adb Check InScopeSet in substTy and provide substTyUnchecked
     713aa90 Re-export ghc-boot:GHC.Serialized as Serialized
     952eda2 Fix IfaceType generation for TyCons without TyVars
     975bdac T11266: Improve the test by adding more of the other problematic modules
     514bac2 Fix combineIdenticalAlts
     0373a84 Oops.  Add missing close-comment
     5cce095 Use (&&) instead of `if` in Ix derivation
     84b0ebe Rework derivation of type representations for wired-in things
     225afc4 Add test T9407 (Windows)
     6ddc991 Update submodule stm + random
     48d4bc5 substTy to substTyUnchecked to fix Travis build
     1ce1371 MkId: Update OpenKind reference
     2e65aae Add comments about tyCoVarsOfType
     e604e91 Comments only
     c572430 Re-add missing kind generalisation
     6f95e23 Comments only
     b3ee37c Improve pretty-printing of UnivCo
     07afe44 Remove the check_lifted check in TcValidity
     b2e6350 Strip casts in checkValidInstHead
     395ec41 Allow implicit parameters in constraint synonyms
     ede055e TyCoRep: Restore compatibility with 7.10.1
     f23b578 user-guide:: Improve -D description
     928484d user-guide: Refer to MIN_VERSION_GLASGOW_HASKELL from intro
     3883f99 rel-notes: Note the return of -Wmonomorphism-restriction
     7cb893f Update and improve documentation in Data.Foldable
     96303db Add a missing .gitignore entry in annotations tests
     2ffc260 Add -ignore-dot-ghci to tests that use --interactive
     be3e867 Overhaul the Overhauled Pattern Match Checker