[commit: ghc] wip/th-new's head updated: Add support for Template Haskell state. (431858d)

[git at git.haskell.org]

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

Branch 'wip/th-new' now includes:

     865956a Cause "make install" to install dynamic libraries (#8194)
     f11289f New primops for byte range copies ByteArray# <-> Addr#
     14677cd Fix freeHaskellFunPtr crash on iOS.
     bb53268 Fix the type signatures of new copy primops.
     769bfc7 Mention new solver for -XTypeNats in release notes.
     ea83174 Distinguish between hs-main cases when giving rtsopts advice.
     85a9e24 Run ctors initializers backwards, see #5435.
     9ef384d Comment typo only
     5f212c8 Release Notes: Document Data.Bool.bool (#8302)
     3ee4700 Make sure type literals aren't negative (#8306)
     7f6518c s/TypeNats/DataKinds/ in release notes.
     2eb4487 Typo in release notes
     9672b08 Further linguistic improvement of that one line
     bfe3c4c Implement ctors support for Linux.
     b647700 Add warning comment about Mach-O section name hack.
     4e2f6c2 Allow branches with / in them (e.g. wip/) in ./sync-all
     96421e0 Release Notes: New printf features in base
     f4046b5 Change role annotation syntax.
     53b2dc8 Suppress unused variable when OS does not support setuid.
     d80bd87 Fix-up Docbook XML broken in f4046b508a5a7
     b6bc326 Limit upper versions of Alex and Happy
     bd42c9d Implement checkable "minimal complete definitions" (#7633)
     b626989 Tweaks to release notes If someone also feels that credits should better go into the release announcement, just nuke the last line of that paragraph.
     7a4c15a Add flag to control loopification
     a5bdc6b A little refactoring
     8cfbdcc Accommodate Derived constraints in two places (fix Trac #8129, #8134)
     62c4058 Optimise (case tagToEnum# x of ..) as in Trac #8317
     03e44ee Tidy up and refactor overflow checking for literals
     6eec7bc Trailing whitespaces
     53948f9 Restore old names of comparison primops
     9078408 Comments only
     de4090b Make Word# a wired-in TyCon (fix Trac #8280)
     07f524c Fix egregious blunder in extractRelevantInerts
     17ba306 Remove trailing whitespaces in flags.xml
     291cb85 Document -floopification flag in user guide
     4916552 Update release notes for new comparison primops
     d85550e Comments only
     d57f2ad Ignore Tickish Breakpoints when serialising Core into interface files
     e17072d Refactor AMP warnings a bit
     3462534 Kill Type.isKindTy in favour of Kind.isKind (same code)
     15dc80e Nuke tc-trace that makes the typechecker loop
     86033a0 Improve error message for deriving polykinded Typeable (Trac #7800)
     d545b46 Comments only
     2fbfa11 Update `Cabal` to 1.18.1 final
     ffa8d22 Typos
     96cfb11 Fix name of vanilla RTS way in the user's guide
     da11bb1 Document more stolen syntax (#4196)
     1320fd2 Add release note entry for `{-# MINIMAL #-}` (#7633)
     efb9e82 Document remaining GHCi commands in users_guide (#7501)
     ea2af9b users_guide/ghci: Whitespace cleanup (#7501)
     6f79989 Restructure compilation pipeline to allow hooks
     6e6e6f5 Release note blurb.
     bdcf210 Ensure that globalRegMaybe returns accurate information for XMM registers.
     e02c506 Do not assume that XMM registers are used to pass floating point arguments.
     0f89b9e Enable passing vector arguments in xmm registers on x86-32.
     da5a647 Do not expose LLVM-only primops in GHC.PrimopWrappers.
     16b350a SIMD primops are now generated using schemas that are polymorphic in width and element type.
     638cd12 Flesh out 128-bit wide SIMD primops.
     0c6cf2a Add support for -mavx and -mavx2 flags.
     9d47e58 Add Cmm support for 256-bit-wide values.
     e074c1c Add support for 256-bit-wide vectors.
     afdb2fc Set LLVM option -stack-alignment=32 when compiling AVX instructions.
     f8c5167 Fixup stack spills when generating AVX instructions.
     0b561f1 Pass 256-bit-wide vectors in registers.
     7624815 Add 256-bit-wide SIMD primitives.
     03e33c9 Add support for -mavx512* flags.
     49f4c12 Add Cmm support for 512-bit-wide values.
     26a960c Add support for 512-bit-wide vectors.
     c5add86 Pass 512-bit-wide vectors in registers.
     7dda67b Add 512-bit-wide SIMD primitives.
     d2b9526 By default, only pass 128-bit SIMD vectors in registers on X86-64.
     1ed36c5 Enable -msse to be specified by itself.
     25eeb67 Check that SIMD vector instructions are compatible with current set of dynamic flags.
     680441d Merge branch 'wip/simd'
     0aa053f Move renamer splice functionality into a separate module.
     edf9b8a Consolidate TH renaming.
     21df592 Add syntactic support for typed expression brackets and splices.
     9ef72d7 Add names for TExp type constructor and unType.
     63a05fd Differentiate typed and untyped splices and brackets in the abstract syntax.
     52db5e8 Track the typed/untyped distinction in the current TH stage.
     27f8c0a Check the staging restriction in the renamer.
     328ce6b Track TH stage in the renamer.
     7e8bbb2 Add support for typed brackets and splices.
     29822f6 Clean up error context when checking brackets/splices.
     545632f Clean up smart constructors for splices.
     a3505f5 Add support for pattern splices.
     88db659 Add full support for declaration splices.
     7e68d54 Code formatting cleanup.
     3931223 Allow splices to add additional top-level declarations.
     bf0a415 Change the types of typed brackets and splices.
     034cb23 Add support for Template Haskell module finalizers.
     431858d Add support for Template Haskell state.