[commit: ghc] wip/rae's head updated: Release notes for #1476, #7484. (d185e71)

[git at git.haskell.org]

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

Branch 'wip/rae' now includes:

     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)
     fa75309 Update .mailmap
     452d6aa Partially revert 475dd93efa
     e14a973 Generalize exposed-modules field in installed package database
     1854825 Workaround 452d6aa95b7 breaking TrustworthySafe03
     609cd28 Update to (unreleased) `deepseq-1.4.0.0`
     c45e2e2 Fix compilation of `integer-gmp2` with `-O0`
     a2c0a8d Update validate settings now that containers and process have been updated to handle `-fwarn-trustworthy-safe`.
     2a6f193 Fix a bug introduced with allocation counters
     0515055 document addDependentFile uses contents, not mtime
     d997ca8 Don't use absolute paths for perl in validate
     a520761 Remove outdated TODO in TimeManager
     bc68ed0 Make listArray fuse
     df22507 Docs only
     ce2cc64 Adding dedicated Show instances for SrcSpan/SrcLoc
     74a6a8a Change a comment referring falsely to seq
     44f1582 Remove optimized package lookup, simplifying code.
     b9096df Add a note why tcGetInstEnvs is duplicated.
     aa1c1b2 Build xhtml and haddock only when `HADDOCK_DOCS=YES`
     9a20379 Fix ffi023
     20226c2 Whitespace only
     ac1281f Outputable instance for IfaceVectInfo
     535644f Add missing semicolon in Schedule.c
     1f6b1ab base: Fix (**) instance for Data.Complex (#8539)
     ddb484c Update comment about C helper for foreign exports (#9713)
     87cd37b Fix usage of `find -perm` in aclocal.m4 (#9697)
     21f9bc4 mapMaybe: Typo in the comment (#9644)
     c557f99 Disable AVX for LLVM 3.2 by default (#9391)
     e7b414a Fix detection of GNU gold linker if invoked via gcc with parameters
     a736b51 Revert "base: Fix (**) instance for Data.Complex (#8539)"
     483eeba Comments only
     1019e3c When outputting list of available instances, sort it.
     7c748d9 Support for "with" renaming syntax, and output a feature flag.
     4224466 Reimplement im/export primitives for integer-gmp2
     e2af452 Restore exact old semantics of `decodeFloat`
     4ba884b Optimise `Identity` instances with `coerce`
     8e0a480 rts: remove old-style field designator extension (#9396)
     101c62e The test runner now also works under the msys-native Python.
     6fc78fd Refactor: use System.FilePath.splitSearchPath
     66c0513 Update documentation for "Batch compiler mode"
     00c1a30 Implement new Foldable methods for HsPatSynDetails
     5db61ea Turn CoreWriter into a newtype; fix comment
     5c09893 Add remaining <unknown>s and comments to .mailmap
     7ef0971 Filter input to abiHash early
     b3df5f6 template-haskell: Missing instances for Rational and ().
     b047733 add missing instances for Loc and a few missing Eq instances
     146dd13 Only test for bug #9439 when llvm is installed
     53a4742 Allow -dead_strip linking on platforms with .subsections_via_symbols
     33c029f make TcRnMonad.lhs respect -ddump-to-file
     4dd87c5 use correct word size for shiftRightLogical and removeOp32
     80f6fc1 compiler/main: fixes #9776
     d87fa34 arm64: 64bit iOS and SMP support (#7942)
     bc2289e ghc generates more user-friendly error messages
     c6e12e6 Make calling conventions in template haskell Syntax.hs consistent with those in ghc ForeignCall.hs this impliments #9703 from ghc trac
     8cbd25a Make Data.Functor.Identity trustworthy again
     3b81309 Update shift/reduce conflict number in parser
     cce6318 Add support for pattern synonym type signatures. Syntax is of the form
     64cb496 Implement typechecker plugins
     696fc4b Split SynTyCon to SynonymTyCon and FamilyTyCon
     e2f7803 Kill trailing whitespace
     6db0f6f Test #9209 in th/T9209
     5a8ae60 Fix #9209, by reporting an error instead of panicking on bad splices.
     e394e74 Fix #9220 by adding role annotations.
     67abfda Test #9151 in typecheck/should_compile/T9151.
     786b62a Add release notes for #8100, #9527, and #9064.
     5eebd99 Test #9318 in typecheck/should_fail/T9318
     8fea2ac Test #9201 in typecheck/should_fail/T9201
     113a37b Update manual to get rid of bogus `coerce` example (#9788)
     cb41e08 Test #9109 in typecheck/should_fail/T9109
     148f416 Test #7484 in th/T7484
     8dcd39b Fix #7484, checking for good binder names in Convert.
     a0913ce Test #1476 in th/T1476
     419c5de Test that nested pattern splices don't scope (#1476).
     9716d81 Fix #1476 by making splice patterns work.
     d185e71 Release notes for #1476, #7484.