[commit: ghc] wip/T9732's head updated: When calling the success continuation of a matcher, pass existential tyvars as type arguments, not value arguments (ab4762a)

[git at git.haskell.org]

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

Branch 'wip/T9732' now includes:

     d70b19b Per-thread allocation counters and limits
     4b5d62a Fix build errors on Windows (these tests still don't work though)
     8c10b67 fix allocLimit3 on Windows
     1d35c85 Test #9066 in th/T9066
     d782694 Fix #9066.
     f61b3c4 Untabify template-haskell.
     1d66167 Remove unboxed Int# fields from NameFlavour (#9527)
     88a42be Derive Generic for TH types (#9527)
     767feb3 Test #8100 in th/T8100
     4ac9e90 Fix #8100, by adding StandaloneDerivD to TH's Dec type.
     fe71a7e Test #9064 in th/T9064
     e4efb7b Fix #9064 by adding support for generic default signatures to TH.
     ec8781f Test #9204 in roles/should_fail/T9204
     ee0f34d Fix #9204 by outputting extra info on boot file mismatch.
     90a2bb6 Testsuite wibbles due to #9204
     294ac47 Fix #9788 by giving `coerce` the right type.
     e6e45a1 Test #9404 (typecheck/should_compile/T9404 and T9404b)
     fe6a517 Testsuite wibble due to #9404
     1e2002d Fix #9404 by removing tcInfExpr.
     c65221b includes/Stg.h: define _DEFAULT_SOURCE for glibc-2.20
     064c289 Remove a stray Trustworthy flag in ghc.
     1f8b4ee Add in `-fwarn-trustworthy-safe` flag.
     475dd93 Add `--fwarn-trustworthy-safe` to `-Wall`
     8fe2bbe Update userguide for new `-fwarn-trustworthy-safe` flag.
     413c747 base: Fix map/coerce comment
     e73ab54 Make unwords and words fuse somewhat
     c016e6f base: define `sequence = mapM id`
     212a350 Improve `Foldable` instance for `Array`
     0541c85 Fix typo in panic message
     e70019a Binding things matched by an unboxed pattern synonym should require a bang
     f82543c If pattern synonym is bidirectional and its type is some unboxed type T#, generate a worker function of type Void# -> T#, and redirect the wrapper (via a compulsory unfolding) to the worker.
     4177ccb Apply compulsory unfoldings during desugaring. See Note [Unfolding while desugaring] for the rationale.
     df5ca31 Avoid premature unfolding of `seq`
     249f819 nlHsTyApps: for applying a function both on type- and term-level arguments
     ab4762a When calling the success continuation of a matcher, pass existential tyvars as type arguments, not value arguments