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

[git at git.haskell.org]

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

Branch 'wip/gadtpm' now includes:

     d935d20 Omit TEST=T10697_decided_3 WAY=ghci
     1dbc8d9 Add test for #10379
     04f3524 Linker: ARM: Don't change to BLX if jump needed veneer
     c7d84d2 Update .mailmap [skip ci]
     7e599f5 Linker: Move helpers to #ifdef
     da0f043 Rewrite Haddocks for GHC.Base.const
     5c10f5c users_guide: Add ghci-cmd directive
     4c56ad3 Build system: delete ghc-pwd
     0acdcf2 Avoid generating guards for CoPats if possible (Addresses #11276)
     1a8b752 Add (failing) test case for #11347
     1f526d2 Release notes: Mention remote GHCi
     cdeefa4 ghc.mk: Add reference to Trac #5987
     77494fa Remove -Wtoo-many-guards from default flags (fixes #11316)
     e32a6e1 Add Cabal synopses and descriptions
     bbee3e1 StgCmmForeign: Push local register creation into code generation
     bd702f4 StgCmmForeign: Break up long line
     aa699b9 Extend ghc environment file features
     4dc4b84 relnotes: Note dropped support for Windows XP and earlier
     852b603 Restore old GHC generics behavior vis-à-vis Fixity
     cac0795 Change Template Haskell representation of GADTs.
     89ba83d Bump Cabal and Haddock to fix #11308
     7861a22 Add a note describing the protocol for adding a language extension
     f01eb54 Fall back on ghc-stage2 when using Windows' GHCi driver
     568736d users guide: Add documentation for custom compile-time errors
     5040686 users guide: Add links to release notes
     47367e0 Rewrite announce file
     0a04837 users guide: Tweak wording of RTS -Nmax description
     0839a66 Remove unused export
     3f98045 Tiny refactor
     97c49e9 Spelling in a comment
     290a553 Tidy up tidySkolemInfo
     4dda4ed Comment wibble
     29b4632 Inline solveTopConstraints
     dc97096 Refactor simpl_top
     02c1c57 Use an Implication in 'deriving' error
     a5cea73 Turn AThing into ATcTyCon, in TcTyThing
     9915b65 Make demand analysis understand catch
     1ee9229 Test Trac #10625
     c78fedd Typos in docs and comments
     6be09e8 Enable stack traces with ghci -fexternal-interpreter -prof
     09425cb Support for qRecover in TH with -fexternal-interpreter
     6f2e722 User's Guide: injective type families section
     0163427 Fix Template Haskell's handling of infix GADT constructors
     1abb700 Improve GHC.Event.IntTable performance
     c33e7c2 Fix +RTS -h when compiling without -prof
     10769a1 Rename the test-way prof_h to normal_h
     47ccf4d Add a pointer to the relevant paper for InScopeSet
     2bd05b8 Docs for stack traces in GHCi
     f7b45c3 Build system: fix `pwd` issues on Windows
     1cdf12c Fix test for T9367 (Windows)
     a6c3289 users_guide: Use semantic directive/role for command line options
     86d0657 users-guide: A few fixes
     8f60fd4 docs: Fix DeriveAnyClass reference in release notes and ANNOUNCE
     67b5cec user-guide: More semantic markup
     0dc2308 user-guide/safe_haskell: Fix typos
     a84c21e Reject import declaration with semicolon in GHCi
     831102f Parser: delete rule numbers + validate shift/reduce conlicts
     4405f9d Add failing testcase for #10603
     5cb236d fix -ddump-splices to parenthesize ((\x -> x) a) correctly
     fbd6de2 Add InjectiveTypeFamilies language extension
     4c9620f TrieMap: Minor documentation fix
     b1c063b ghc.mk: Use Windows_Target instead of Windows_Host
     8e0c658 Linker: Define ELF_64BIT for aarch64_HOST_ARCH
     00c8076 fix typo causing compilation failure on SPARC (ArchSparc -> ArchSPARC)
     6cb860a Add -prof stack trace to assert
     3e796e1 A little closer to supporting breakpoints with -fexternal-interpreter
     88d6d5a Use implicit CallStacks for ASSERT when available
     d44bc5c TemplateHaskell: revive isStrict, notStrict and unpacked
     ac3cf68 Add missing type representations
     e782e88 Add test for Data.Typeable.typeOf
     c3f9246 Print a message when loading a .ghci file.
     6ea24af Handle over-applied custom type errors too.
     c313327 Minor improvement in CoreDump outputs:
     c73333a Minor code refactoring
     61011b4 users-guide: Wibbles
     91dcc65 GHC.Generics: Fix documentation
     f0c4e46 Add tests for #11391
     b0641ad INSTALL.md: Mention -j and other wibbles
     78a4c72 Rename InjectiveTypeFamilies to TypeFamilyDependencies
     4dbc31b users-guide: Update language extension implications
     b355b8f users-guide: Add since annotations for language extensions
     83c13c2 user-guide: Use ghc-flag for dump formatting flags
     fd686c4 API Annotations: use AnnValue for (~)
     db371c1 T11300: Fix test on windows
     49e414a Remove lookup of sections by name instead use the index numbers as offsets
     91f1c60 Fix #11015 with a nice note.
     8959b03 ANNOUNCE: Mention powerpc code generator
     b90cac6 user-guide: Note Cabal version limitation
     faf3f96 users-guide: Fix cabal version number
     c6a3e22 Link command line libs to temp so
     e7eec3a Use XZ compression by default
     7cf16aa Don't output manpage in same directory as source
     756b228 Refactor lookupFixityRn-related code following D1744
     67fc3f3 configure.ac: Export MAKECMD to build system
     443bf04 Allow pattern synonyms which have several clauses.
     165ae44 Expand type/kind synonyms in TyVars before deriving-related typechecking
     e6ca930 Fix #11355.
     d4af57f Test #11252 in ghci/scripts/T11252
     d459f55 Fix #10872.
     6c07f14 Fix #11311
     3a7f204 Clarify topological sorting of spec vars in manual
     39ea4b4 Fix #11254.
     bafbde7 Constrained types have kind * in validity check.
     072191f Fix #11404
     33950aa Tiny refactoring in TcUnify
     80b4c71 Fix typo in error message (#11409)
     3c6635e Fix #11405.
     148a50b Fix some typos
     3a1babd Work SourceText in for all integer literals
     9308c73 Fix a number of subtle solver bugs
     3b6a490 Add missing T11408.hs
     ae1c48c rts/posix: Fail with HEAPOVERFLOW when out of memory during mmap
     cd12c8d Overhaul the Overhauled Pattern Match Checker