[commit: ghc] wip/T8584's head updated: Add test cases (e87edf0)

[git at git.haskell.org]

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

Branch 'wip/T8584' 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`
     63a9d93 Fix `integer-gmp2` compilation with GMP 4.x (#9281)
     9b30d9d Fix typo in panic message
     745c4c0 Binding things matched by an unboxed pattern synonym should require a bang
     7f92986 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. Fixes #9732.
     5fe872d Apply compulsory unfoldings during desugaring, except for `seq` which is special. See Note [Unfolding while desugaring] for the rationale.
     faeb0a6 nlHsTyApps: for applying a function both on type- and term-level arguments
     6389911 When calling the success continuation of a matcher, pass existential tyvars as type arguments, not value arguments
     603b7be Implement amap/coerce for Array (re #9796)
     c27e81a tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type signatures
     2b160b4 Use user-supplied type variables (when available) in pattern synonym type signatures
     42d491a Update baseline shift/reduce conflict number
     935f931 Add parser for pattern synonym type signatures. Syntax is of the form
     e87edf0 Add test cases