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

[git at git.haskell.org]

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

Branch 'wip/gadtpm' now includes:

     63700a1 Use the in_scope set in lint_app
     1b72534 Fixup test for #10728
     61e4d6b Mark dynamic-paper as expect_fail_for optasm and optllvm (#11330)
     d3b7db0 Fix the Windows build
     0dd663b Add closing parenthesis in comment for eqString (#11507)
     bc83c73 Add release note about flexible RebindableSyntax
     bb956eb Add asserts to other substitution functions
     6c7760b Define CTYPE for more Posix types
     2fbf370 Update unix submodule to latest snapshot
     b61f5f7 Put docs in /usr/share/doc/ghc-<version>
     4d0e4fe Add type signatures.
     90f688e Code formatting cleanup.
     6544f8d Properly track live registers when saving the CCCS.
     669cbef Fix Trac issue #11487.
     34519f0 When encountering a duplicate symbol, show source of the first symbol
     f8e2b7e Minor doc fixes to GHC.Generics
     a883c1b Missing @since annotations in GHC.Generics
     b5df2cc Overhaul the Overhauled Pattern Match Checker